From 99ea75c7261cf39a89a0824f9703ea1c66c8f953 Mon Sep 17 00:00:00 2001 From: Marco Bodrato Date: Tue, 10 Nov 2020 18:39:02 +0100 Subject: Makefile.am (EXTRA_DIST): Add mini-gmp/ChangeLog --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.am') 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 -- cgit v1.2.1