draft 7

[chorizo.git] / Makefile

diff --git a/Makefile b/Makefile
index cec63533698c7ae4b28733fed99a43f20b36e815..7d74b4a887835f7601910288dbc993cbd72da197 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,13 @@ chorizo:
 format:
        for i in *.c *.h; do clang-format $$i > tmp; mv tmp $$i; done
 
+headers:
+       mv config.h tmp
+       rm chorizo.h
+       makeheaders -h *.[ch] > tmp2
+       mv tmp config.h
+       mv tmp2 chorizo.h
+
 extensions:
        for i in extensions/*.c; do \
                outp=$$(echo "$$i" | sed 's/\$\.c/.so/g'); \