diff options
Diffstat (limited to 'doc/tools/src2html/Makefile.am')
| -rw-r--r-- | doc/tools/src2html/Makefile.am | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/doc/tools/src2html/Makefile.am b/doc/tools/src2html/Makefile.am deleted file mode 100644 index 4b27430d49..0000000000 --- a/doc/tools/src2html/Makefile.am +++ /dev/null @@ -1,24 +0,0 @@ -# -# COPYRIGHT (c) 1988-2002. -# On-Line Applications Research Corporation (OAR). -# All rights reserved. -# -# $Id$ -# - - -SRC2HTMLDIR = $(top_srcdir)/src2html1.4a - -ctags-wr: $(SRC2HTMLDIR)/ctags-wr - cp $< $@ - chmod 755 $@ - -ctags-new: $(SRC2HTMLDIR)/Ctags/ctags-new - cp $< $@ - -# EMACS ctags with Ada awareness -ctags: $(SRC2HTMLDIR)/ctags-emacs/ctags - cp $< $@ - -src2html: $(SRC2HTMLDIR)/src2html - cp $< $@ |