diff options
Diffstat (limited to 'gnu')
| -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 000000000000..3d1f0fe64aa6 --- /dev/null +++ b/gnu/lib/libgmp/doc/Makefile @@ -0,0 +1,7 @@ +# $Id$ + +INFO= gmp + +.PATH: ${.CURDIR}/.. + +.include <bsd.info.mk> |