From 9d375915f76851e4242f9541224c245a480c1f90 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 24 May 2004 15:13:36 +0000 Subject: [PATCH] * src/sanity/Makefile.am (EXTRA_DIST): Distribute 80columns.test and style.test. --- ChangeLog | 5 ++++- src/sanity/Makefile.am | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index bb96f0195..50fe4d7f8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,7 +1,10 @@ 2004-05-24 Alexandre Duret-Lutz + * src/sanity/Makefile.am (EXTRA_DIST): Distribute 80columns.test + and style.test. + * src/ltltest/Makefile.am (EXTRA_DIST): Distribute formulae.txt. - * src/ltltest/formulae.txt: New files (2200 LTL formulea generated + * src/ltltest/formulae.txt: New file (2200 LTL formulea generated by Wring). * src/ltltest/formules.ltl: Delete. * src/reduc.test: Read formulae.txt. diff --git a/src/sanity/Makefile.am b/src/sanity/Makefile.am index 97da045d6..2a12cae33 100644 --- a/src/sanity/Makefile.am +++ b/src/sanity/Makefile.am @@ -45,4 +45,4 @@ installcheck-local: CLEANFILES = failures incltest.* -EXTRA_DIST = includes.test +EXTRA_DIST = includes.test 80columns.test style.test