From dd1a199ebdd200231aeec96906d4eddd24f0321e Mon Sep 17 00:00:00 2001
From: Calvin Rose <calsrose@gmail.com>
Date: Wed, 15 May 2019 10:53:26 -0400
Subject: [PATCH] Don't copy headers to JANET_PATH

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0291ae2d..87477f0e 100644
--- a/Makefile
+++ b/Makefile
@@ -285,7 +285,6 @@ install: $(JANET_TARGET) build/version.txt
 	mkdir -p $(INCLUDEDIR)/janet
 	cp -rf $(JANET_HEADERS) $(INCLUDEDIR)/janet
 	mkdir -p $(JANET_PATH)
-	cp -rf $(JANET_HEADERS) $(JANET_PATH)
 	mkdir -p $(LIBDIR)
 	cp $(JANET_LIBRARY) $(LIBDIR)/libjanet.so.$(shell cat build/version.txt)
 	ln -sf $(SONAME) $(LIBDIR)/libjanet.so