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 /src/prefix.mlb | |
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 'src/prefix.mlb')
0 files changed, 0 insertions, 0 deletions