From 92a5567b4ae80cafb8a1c12451bb2dd87e81f04f Mon Sep 17 00:00:00 2001
From: Calvin Rose <calsrose@gmail.com>
Date: Sun, 24 Feb 2019 14:25:04 -0500
Subject: [PATCH] Remove some makefile crust from older scripts.

---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 89e58b30..028b6b9a 100644
--- a/Makefile
+++ b/Makefile
@@ -244,5 +244,4 @@ uninstall:
 	-rm -rf $(INCLUDEDIR)
 
 .PHONY: clean install repl debug valgrind test amalg \
-	valtest emscripten dist uninstall docs grammar format \
-	$(TEST_PROGRAM_PHONIES) $(TEST_PROGRAM_VALPHONIES)
+	valtest emscripten dist uninstall docs grammar format