From 6487282f559e1e45e9e03198ab915ff3a9023fa3 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike.gerwitz@rtspecialty.com>
Date: Fri, 23 Feb 2018 12:28:03 -0500
Subject: [PATCH] progtest: add dist target

---
 progtest/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/progtest/Makefile b/progtest/Makefile
index 1365ed26..f71de4fd 100644
--- a/progtest/Makefile
+++ b/progtest/Makefile
@@ -17,7 +17,7 @@
 #  You should have received a copy of the GNU General Public License
 #  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
-.PHONY: check test modindex browserify FORCE
+.PHONY: check test modindex dist browserify FORCE
 
 namespaces=$(shell find src/ -type d)
 nsindex=$(addsuffix /index.js, $(namespaces))
@@ -44,3 +44,5 @@ tame-progtest.js: check modindex
 		-r $(CURDIR)/src/index.js:progtest \
 		$(CURDIR)/src/index.js \
 		-o "$@"
+
+dist: tame-progtest.js