From f2e26534fdc9b02661e00023fbe56d8c4c7c571f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 Nov 2013 14:53:01 -0500 Subject: Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control --- Makefile.am | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Makefile.am') diff --git a/Makefile.am b/Makefile.am index 3b7fa88d..0cd94747 100644 --- a/Makefile.am +++ b/Makefile.am @@ -114,3 +114,5 @@ reauto: libtoolize -cf automake --add-missing --force-missing --copy autoreconf + +EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* src/* src/coq/* xml/* -- cgit v1.2.3