From 7f03b53626b2cf88238e0b5fb070dd211486d02f Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Thu, 24 Oct 2013 23:06:45 +0200 Subject: more flexible info file MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'Makefile') 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 < "$<" > "$@" -- cgit v1.2.3-70-g09d2