summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5e78a5bc1..b32af570d 100644
--- a/Makefile
+++ b/Makefile
@@ -40,6 +40,10 @@ apidocs:
test: $(TEST_RUN)
+install-headers: $(PUBLIC_HEADERS)
+ @mkdir -p /tmp/gitinc/git
+ @for i in $^; do cat COPYING $$i > /tmp/gitinc/$${i##src/}; done
+
.c.o:
$(CC) $(BASIC_CFLAGS) $(CFLAGS) -c $< -o $@
@@ -87,3 +91,4 @@ $(TEST_RUN): tests/%.run: tests/%.exe
.PHONY: clean
.PHONY: test $(TEST_RUN)
.PHONY: apidocs
+.PHONY: install-headers