aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8299bd5..f624f49 100644
--- a/Makefile
+++ b/Makefile
@@ -24,10 +24,13 @@ doc: info
.PHONY: info
info: gpp.info.gz
-%.info.gz: info/%.texinfo
+%.info.gz: info/%.texinfo.install
makeinfo "$<"
gzip -9 -f "$*.info"
+info/%.texinfo.install: info/%.texinfo
+ $(PY3) gpp -s '?' -D GPP=$(COMMAND) < "$<" > "$@"
+
gpp: src/gpp.py
VERSION=$(VERSION) SHEBANG="$(SHEBANG)" $(PY3) "$<" -u -u < "$<" > "$@"