diff options
Diffstat (limited to 'gnu/lib/libgmp/doc')
-rw-r--r-- | gnu/lib/libgmp/doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile index 4cb03bf..7775117 100644 --- a/gnu/lib/libgmp/doc/Makefile +++ b/gnu/lib/libgmp/doc/Makefile @@ -1,7 +1,8 @@ # -# $Id$ +# $Id: Makefile,v 1.3 1996/10/20 09:28:03 markm Exp $ # INFO = gmp +INFOSECTION= "Programming & development tools." GMPDIR= ${.CURDIR}/../../../../contrib/libgmp .PATH: ${GMPDIR} |