diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-08-17 09:31:09 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-08-17 09:31:09 +0000 |
| commit | 7e5ef9a63fec1a4ba38717f5b7b5e7bce73898e2 (patch) | |
| tree | ce99e76ad8e87c1dfaf38f65f6fda105e45586ba /Makefile.am | |
| parent | 5a89a261c7b468e78f943c13d5219a98330f16a6 (diff) | |
| download | mpfr-7e5ef9a63fec1a4ba38717f5b7b5e7bce73898e2.tar.gz | |
[Makefile.am] Put tools/get_patches.sh back to EXTRA_DIST.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7089 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index f7725e28e..c417565d2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -16,9 +16,9 @@ SUBDIRS = doc 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 tools/get_patches.sh + examples/version.c -EXTRA_DIST = PATCHES VERSION +EXTRA_DIST = PATCHES VERSION tools/get_patches.sh # In a "make dist", check that libtool -version-info value is up-to-date. # But if the VERSION file contains "-dev", this is not checked. |