From c6f8985c23217011df01a73447c98244fb63b20a Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Mon, 27 Feb 2017 12:52:24 -0500
Subject: [PATCH] make install/uninstall phonies

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

diff --git a/Makefile b/Makefile
index 04ebdad..f8e3da0 100644
--- a/Makefile
+++ b/Makefile
@@ -56,4 +56,4 @@ check: $(OBJDIR)/$(BIN)
 		}" < $$F;                          \
 	done
 
-.PHONY: clean clean-gen check 80 syndoc
+.PHONY: clean clean-gen check 80 install uninstall