From fef0be6737cf837f0733357413ebdc972c6d948c Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Fri, 30 Oct 2015 17:38:19 -0400
Subject: Makefile.am: Distribute tools

---
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\#]/{ \
--
cgit v0.9.1