diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
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 |