From 90696bc8253589fe6ee8b1bdf021db693f1b5d9c Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 Nov 2013 15:12:42 -0500 Subject: Add bin 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 de683603..d88b08a9 100644 --- a/Makefile.am +++ b/Makefile.am @@ -117,4 +117,4 @@ reauto: EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* xml/* \ src/c/*.h src/coq/* src/*.sig src/*.sml src/*.mlb src/*.sml.in src/elisp/* src/*.cm src/sources src/*.grm src/*.lex \ - CHANGELOG LICENSE *.ebuild include/urweb/*.h + CHANGELOG LICENSE *.ebuild include/urweb/*.h bin -- cgit v1.2.3