diff options
author | Karl Berry <karl@freefriends.org> | 2018-10-09 21:44:19 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-10-09 21:44:19 +0000 |
commit | f3266b6d92494d20f968cba7b17804fddc8ac409 (patch) | |
tree | 7a5db15bd3ed22c8b2b79b67bf7046dd1d281b83 /Master/texmf-dist/doc/support/cluttex/Makefile | |
parent | 65e4272f74f437a899e7dd52c5ab52501dca02db (diff) |
cluttex (9oct18)
git-svn-id: svn://tug.org/texlive/trunk@48871 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/support/cluttex/Makefile')
-rw-r--r-- | Master/texmf-dist/doc/support/cluttex/Makefile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/cluttex/Makefile b/Master/texmf-dist/doc/support/cluttex/Makefile new file mode 100644 index 00000000000..778f0d3da7e --- /dev/null +++ b/Master/texmf-dist/doc/support/cluttex/Makefile @@ -0,0 +1,37 @@ +all: bin/cluttex bin/cluttex.bat + +.PHONY: all archive + +sources= \ + src/texrunner/pathutil.lua \ + src/texrunner/pathutil_unix.lua \ + src/texrunner/pathutil_windows.lua \ + src/texrunner/shellutil.lua \ + src/texrunner/shellutil_unix.lua \ + src/texrunner/shellutil_windows.lua \ + src/texrunner/fsutil.lua \ + src/texrunner/option.lua \ + src/texrunner/tex_engine.lua \ + src/texrunner/reruncheck.lua \ + src/texrunner/auxfile.lua \ + src/texrunner/luatexinit.lua \ + src/texrunner/recovery.lua \ + src/texrunner/handleoption.lua \ + src/texrunner/isatty.lua \ + src/texrunner/message.lua \ + src/cluttex.lua + +bin/cluttex: $(sources) build.lua + @mkdir -p bin + lua build.lua --unix-shellscript $@ + lua checkglobal.lua $@ + chmod +x $@ + +bin/cluttex.bat: $(sources) build.lua + @mkdir -p bin + lua build.lua --windows-batchfile $@ + lua checkglobal.lua $@ + +archive: + git archive --format=tar --prefix=cluttex/ -o cluttex.tar HEAD + gzip -k9 cluttex.tar |