diff options
| author |  Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
|---|---|---|
| committer | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
| commit | b9f7e59db7470f278b62e7a16e68f33c1deb1ca1 (patch) | |
| tree | a045e4571f4bc46800267a7824d55ef83959eb9f /Makefile.am | |
| parent | 90b807ed5c13a40f327293e5d9d47b0f3f821656 (diff) | |
make dist: Use fewer wildcards
The remaining ones only work by accident:
http://www.gnu.org/software/automake/manual/html_node/Wildcards.html
and they have some practical problems too (we don’t really want to
distribute include/urweb/config.h or src/config.sml), but this is
enough for now to pass ‘make distcheck’ as long as we don’t run it
from a separate build directory.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 6 +++---
src/c/Makefile.am | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index cb944483..48d8b2a2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -115,6 +115,6 @@ reauto: automake --add-missing --force-missing --copy autoreconf -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 bin +EXTRA_DIST = demo doc lib/js lib/ur xml \ + src/coq src/*.sig src/*.sml src/*.mlb src/config.sml.in src/elisp src/*.cm src/sources src/*.grm src/*.lex \ + CHANGELOG LICENSE urweb.ebuild include/urweb/*.h bin |