summaryrefslogtreecommitdiff
path: root/support/cluttex/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/cluttex/Makefile')
-rw-r--r--support/cluttex/Makefile16
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