diff options
Diffstat (limited to 'doc/tools/src2html/Makefile')
-rw-r--r-- | doc/tools/src2html/Makefile | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/doc/tools/src2html/Makefile b/doc/tools/src2html/Makefile deleted file mode 100644 index 208f901559..0000000000 --- a/doc/tools/src2html/Makefile +++ /dev/null @@ -1,38 +0,0 @@ -# -# COPYRIGHT (c) 1988-1998. -# On-Line Applications Research Corporation (OAR). -# All rights reserved. -# -# $Id$ -# - -CC=gcc -CFLAGS=-g - -PROGS=ctags-wr ctags-new ctags src2html - -SRC2HTMLDIR=src2html1.4a - -all: tools - -tools: $(PROGS) - chmod +x $(PROGS) - -ctags-wr: - cp ../$(SRC2HTMLDIR)/ctags-wr . - -ctags-new: - cd ../$(SRC2HTMLDIR)/Ctags ; gmake - cp ../$(SRC2HTMLDIR)/Ctags/ctags-new . - -# EMACS ctags with Ada awareness -ctags: - cp ../$(SRC2HTMLDIR)/ctags-emacs/ctags ctags - -src2html: - cp ../$(SRC2HTMLDIR)/src2html . - -clean: - rm -f $(PROGS) - cd ../$(SRC2HTMLDIR)/Ctags ; gmake clean - |