diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-10-30 17:38:19 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-10-30 17:38:19 (EDT) |
commit | fef0be6737cf837f0733357413ebdc972c6d948c (patch) | |
tree | fbb5958cc9ce4b39f37424bdcec56c72b7b781a9 | |
parent | ca2b61b35db2a27909f00441a559bf7b83ba040b (diff) | |
download | firman.sh-fef0be6737cf837f0733357413ebdc972c6d948c.zip firman.sh-fef0be6737cf837f0733357413ebdc972c6d948c.tar.gz firman.sh-fef0be6737cf837f0733357413ebdc972c6d948c.tar.bz2 |
Makefile.am: Distribute tools
-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\#]/{ \ |