diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:47:03 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-19 12:47:03 +0000 |
| commit | a90acd531cc38281855c7843c70de06c4ab23710 (patch) | |
| tree | 870289b49674c9d86fb7f49cfbe9bddc65ddeaa5 /Makefile.am | |
| parent | 4a1085df3a3c3fb8855a07aecab236a953ca34af (diff) | |
| download | mpfr-a90acd531cc38281855c7843c70de06c4ab23710.tar.gz | |
[src/Makefile.am] Added nodist_ for mini-gmp.{c,h} so that these files
(not part of MPFR) are not put in the tarballs by "make dist".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13228 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions