diff options
Diffstat (limited to 'PACE/pace/man/Makefile')
| -rw-r--r-- | PACE/pace/man/Makefile | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/PACE/pace/man/Makefile b/PACE/pace/man/Makefile deleted file mode 100644 index 8203d2d650c..00000000000 --- a/PACE/pace/man/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -#---------------------------------------------------------------------------- -# $Id$ -# -# Makefile for the PACE html man pages -# The man pages are generated from the POSIX header files. -#---------------------------------------------------------------------------- - -PACE_DOC++ = /project/doc/pkg/bin/doc++ -index.html: - $(PACE_DOC++) -H -F -B banner ../*.h - -clean: - $(RM) *.html *.gif *.class *.tex *.db .html |