diff options
| author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2020-11-10 18:39:02 +0100 |
|---|---|---|
| committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2020-11-10 18:39:02 +0100 |
| commit | 99ea75c7261cf39a89a0824f9703ea1c66c8f953 (patch) | |
| tree | 4c2178eae1a583ff39fee78a806ed597b0916a8e /Makefile.am | |
| parent | 1886a874f693316979eddec3b4b458026fd5e70e (diff) | |
| download | gmp-99ea75c7261cf39a89a0824f9703ea1c66c8f953.tar.gz | |
Makefile.am (EXTRA_DIST): Add mini-gmp/ChangeLog
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 ba09e3c08..d1872af47 100644 --- a/Makefile.am +++ b/Makefile.am @@ -412,7 +412,7 @@ EXTRA_DIST += gen-psqr.c # Distribute mini-gmp. Test sources copied by dist-hook. EXTRA_DIST += mini-gmp/README mini-gmp/mini-gmp.c mini-gmp/mini-gmp.h \ - mini-gmp/mini-mpq.c mini-gmp/mini-mpq.h \ + mini-gmp/ChangeLog mini-gmp/mini-mpq.c mini-gmp/mini-mpq.h \ mini-gmp/tests/Makefile mini-gmp/tests/run-tests # Avoid: CVS - cvs directories |