summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordberg.se>2000-02-24 16:30:54 +0100
committerLinus Nordberg <linus@nordberg.se>2000-02-24 16:30:54 +0100
commit38eee8710b7c73cb5021298a6b771d809b2ab50d (patch)
tree80ab57947e01c31d9e5fe145a4afff1571552e4e /Makefile.in
parent1a452ea9b46061a63a77d33d03bcaacf765863ea (diff)
downloadgmp-38eee8710b7c73cb5021298a6b771d809b2ab50d.tar.gz
Regenerate.
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index b035e35a0..f1cb9277b 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -290,7 +290,9 @@ MPQ_OBJECTS = \
MPN_OBJECTS = @mpn_objs_in_libgmp@
-EXTRA_DIST = demos gmp-impl.h gmp.h longlong.h mp.h stack-alloc.h urandom.h
+EXTRA_DIST = demos gmp-impl.h gmp.h longlong.h mp.h stack-alloc.h urandom.h \
+ config.in
+
info_TEXINFOS = gmp.texi