diff options
author | jmacd <jmacd@FreeBSD.org> | 1997-01-11 05:45:40 +0000 |
---|---|---|
committer | jmacd <jmacd@FreeBSD.org> | 1997-01-11 05:45:40 +0000 |
commit | 05a9d406abfcedbd6fdde9e8de3971c71ea0aea1 (patch) | |
tree | 0b4c84d2a9a0f10f318b67fb503cba02c2f58dc5 /gnu/lib/libgmp | |
parent | c2e8a0abec21faf1687de4482239f629fb0004ea (diff) | |
download | FreeBSD-src-05a9d406abfcedbd6fdde9e8de3971c71ea0aea1.zip FreeBSD-src-05a9d406abfcedbd6fdde9e8de3971c71ea0aea1.tar.gz |
Same.
Diffstat (limited to 'gnu/lib/libgmp')
-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} |