diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:55:56 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:55:56 +0000 |
commit | 12f7d9a0a56eec83e1545e13fedd5217edf4ffac (patch) | |
tree | 25c899107f7d5c6e7e21d8c3a5c652682c1fa43a /Makefile.am | |
parent | a90acd531cc38281855c7843c70de06c4ab23710 (diff) | |
download | mpfr-12f7d9a0a56eec83e1545e13fedd5217edf4ffac.tar.gz |
[Makefile.am] Distribute the doc/mini-gmp file.
[configure.ac] For --with-mini-gmp, say:
"(experimental, please read doc/mini-gmp file)"
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13229 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index e9543f547..c401a9038 100644 --- a/Makefile.am +++ b/Makefile.am @@ -28,7 +28,7 @@ nobase_dist_doc_DATA = AUTHORS BUGS COPYING COPYING.LESSER NEWS TODO \ examples/rndo-add.c examples/sample.c examples/threads.c \ examples/version.c -EXTRA_DIST = PATCHES VERSION doc/README.dev doc/check-typography \ +EXTRA_DIST = PATCHES VERSION doc/README.dev doc/check-typography doc/mini-gmp \ tools/check_mparam.c tools/ck-clz_tab tools/ck-copyright-notice \ tools/ck-mparam tools/ck-news tools/ck-version-info tools/get_patches.sh \ $(DATAFILES) |