diff options
Diffstat (limited to 'mpfr/Makefile.in')
| -rw-r--r-- | mpfr/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mpfr/Makefile.in b/mpfr/Makefile.in index 508e029ac4..9c9f139f2f 100644 --- a/mpfr/Makefile.in +++ b/mpfr/Makefile.in @@ -295,7 +295,7 @@ top_builddir = @top_builddir@ top_srcdir = @top_srcdir@ AUTOMAKE_OPTIONS = gnu ACLOCAL_AMFLAGS = -I m4 -SUBDIRS = doc src tests tune +SUBDIRS = src tests tune nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \ examples/ReadMe examples/divworst.c examples/rndo-add.c examples/sample.c \ examples/version.c |