diff options
author | markm <markm@FreeBSD.org> | 1995-11-13 18:40:45 +0000 |
---|---|---|
committer | markm <markm@FreeBSD.org> | 1995-11-13 18:40:45 +0000 |
commit | 0589c43eb098938e13922d232a3d1f55fcf6b11a (patch) | |
tree | d7e46c1f4f780208938a6ce800fcb72bc11cf974 /gnu/lib/libgmp | |
parent | 6814756192927ce32d003aaa632b6ded62e0807a (diff) | |
download | FreeBSD-src-0589c43eb098938e13922d232a3d1f55fcf6b11a.zip FreeBSD-src-0589c43eb098938e13922d232a3d1f55fcf6b11a.tar.gz |
Build the TeXinfo manual
Diffstat (limited to 'gnu/lib/libgmp')
-rw-r--r-- | gnu/lib/libgmp/doc/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/lib/libgmp/doc/Makefile b/gnu/lib/libgmp/doc/Makefile new file mode 100644 index 0000000..3d1f0fe --- /dev/null +++ b/gnu/lib/libgmp/doc/Makefile @@ -0,0 +1,7 @@ +# $Id$ + +INFO= gmp + +.PATH: ${.CURDIR}/.. + +.include <bsd.info.mk> |