diff options
author | Norbert Preining <norbert@preining.info> | 2023-11-19 03:01:17 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-11-19 03:01:17 +0000 |
commit | aa94b613f51dfa2b65c607585727b66875e765d8 (patch) | |
tree | 5628f2c082b66f54a44ba8064fcc0203823b9c92 /support/cluttex/Makefile | |
parent | bcd1a2a7dfe36b38f10a8fa23b4b6f0c325ca899 (diff) |
CTAN sync 202311190301
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 |