diff options
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index e409348..415ad97 100644 --- a/Makefile.am +++ b/Makefile.am @@ -32,7 +32,9 @@ firman_LINK = \ '$(srcdir)/tools/shld.sh' -I '$(SH)' -o $@ config.sh EXTRA_DIST = \ - autogen.sh + autogen.sh \ + tools/shld.sh \ + tools/shmin.sh todo_script = \ /^[0-9]* .[ \t]*\#[ \t]*TODO/,/^[0-9]* \.[ \t]*[^ \t\#]/{ \ |