diff options
Diffstat (limited to 'doc/tools/src2html/Makefile')
-rw-r--r-- | doc/tools/src2html/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/tools/src2html/Makefile b/doc/tools/src2html/Makefile index 8d9c4a578c..208f901559 100644 --- a/doc/tools/src2html/Makefile +++ b/doc/tools/src2html/Makefile @@ -9,7 +9,7 @@ CC=gcc CFLAGS=-g -PROGS=ctags-wr ctags-new ctags-emacs src2html +PROGS=ctags-wr ctags-new ctags src2html SRC2HTMLDIR=src2html1.4a @@ -25,7 +25,8 @@ ctags-new: cd ../$(SRC2HTMLDIR)/Ctags ; gmake cp ../$(SRC2HTMLDIR)/Ctags/ctags-new . -ctags-emacs: +# EMACS ctags with Ada awareness +ctags: cp ../$(SRC2HTMLDIR)/ctags-emacs/ctags ctags src2html: |