diff --git a/makefile b/makefile index 7bc29843..08b69845 100644 --- a/makefile +++ b/makefile @@ -92,6 +92,7 @@ usage: @echo " make revertbootstrap - Use git checkout to restore bootstrap C source directories" # Code navigation helper +# doc/ctags.md .PHONY: tags tags: ctags -R --options=oberon.ctags --extras=+q