From cea2161ff2492990a3472ac1c415c67530dd6f0d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 Nov 2013 15:06:41 -0500 Subject: Add more include files to EXTRA_DIST --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.am') diff --git a/Makefile.am b/Makefile.am index 8454f5a1..1306e83f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -117,4 +117,4 @@ reauto: EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* xml/* \ src/coq/* src/*.sig src/*.sml src/*.mlb src/*.sml.in src/elisp/* src/*.cm src/sources src/*.grm src/*.lex \ - CHANGELOG LICENSE *.ebuild + CHANGELOG LICENSE *.ebuild include/urweb/*.h -- cgit v1.2.3