diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-06-01 15:03:24 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-06-01 15:03:24 +0000 |
commit | dcad4d0c44b450bf0d99f1e49409d04d5e5300c1 (patch) | |
tree | 969cc0da016b264f0905cdb1756579c374f9bc94 /Makefile.am | |
parent | cbb9ad0dbb203b950c95148aba9cd8f395d14729 (diff) | |
download | mpfr-dcad4d0c44b450bf0d99f1e49409d04d5e5300c1.tar.gz |
[Makefile.am] Put doc/README.dev in EXTRA_DIST to provide this file in
tarballs too (it is not installed by "make install", though), since
it contains information that may be useful for users of tarballs and
various distributed files mention it.
[README] Update about the "doc" directory and "doc/README.dev".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11561 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index 1a7ac71e4..4bd81e9f8 100644 --- a/Makefile.am +++ b/Makefile.am @@ -27,9 +27,9 @@ 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 examples/can_round.c -EXTRA_DIST = PATCHES VERSION doc/check-typography tools/ck-clz_tab \ - tools/ck-copyright-notice tools/ck-news tools/ck-version-info \ - tools/get_patches.sh \ +EXTRA_DIST = PATCHES VERSION doc/README.dev doc/check-typography \ + tools/ck-clz_tab tools/ck-copyright-notice tools/ck-news \ + tools/ck-version-info tools/get_patches.sh \ $(DATAFILES) bench: |