diff options
Diffstat (limited to 'support/cluttex/Makefile')
-rw-r--r-- | support/cluttex/Makefile | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/support/cluttex/Makefile b/support/cluttex/Makefile index 1fbf0fd55a..b6a00f5276 100644 --- a/support/cluttex/Makefile +++ b/support/cluttex/Makefile @@ -1,6 +1,6 @@ all: bin/cluttex bin/cluttex.bat -.PHONY: all archive +.PHONY: all archive check-version sources= \ src/texrunner/pathutil.lua \ @@ -35,6 +35,18 @@ bin/cluttex.bat: $(sources) build.lua lua build.lua --windows-batchfile $@ lua checkglobal.lua $@ -archive: all +version_file=$(shell bin/cluttex --version 2>&1 | grep --only-matching -E 'v\d+(\.\d+)*' | sed 's/^v/VERSION_/;s/\./_/g') + +check-version: all + @bin/cluttex --version + grep VERSION src/cluttex.lua + grep VERSION bin/cluttex + grep VERSION bin/cluttex.bat + grep -i VERSION doc/cluttex.tex + grep -i VERSION doc/cluttex-ja.tex + +archive: all check-version + @bin/cluttex --version git archive --format=tar --prefix=cluttex/ -o cluttex.tar HEAD + mkdir -p cluttex && touch cluttex/$(version_file) && tar -r -f cluttex.tar cluttex/$(version_file) gzip -k9 cluttex.tar |