diff options
| -rw-r--r-- | gnu/usr.bin/texinfo/texindex/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/usr.bin/texinfo/texindex/Makefile b/gnu/usr.bin/texinfo/texindex/Makefile index ef51fdf..94320b5 100644 --- a/gnu/usr.bin/texinfo/texindex/Makefile +++ b/gnu/usr.bin/texinfo/texindex/Makefile @@ -1,11 +1,11 @@ # # Bmakefile for GNU info # -# $id$ +# $Id$ # PROG= texindex - +NOMAN=yes SRCS+= texindex.c getopt1.c getopt.c .PATH: ${.CURDIR}/../info |
