summaryrefslogtreecommitdiff
path: root/support/cluttex/Makefile
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-02-07 03:01:03 +0000
committerNorbert Preining <norbert@preining.info>2020-02-07 03:01:03 +0000
commit9c4a09ca6a4130e71ba545412319aaee3c618460 (patch)
tree52b4c3ee8dc02613fc8ce4faffe5292e10e5d10a /support/cluttex/Makefile
parente684f0597e24a1d09af301d82b340b2df7cf2080 (diff)
CTAN sync 202002070301
Diffstat (limited to 'support/cluttex/Makefile')
-rw-r--r--support/cluttex/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/support/cluttex/Makefile b/support/cluttex/Makefile
index ef12dd5131..ae764ad2ab 100644
--- a/support/cluttex/Makefile
+++ b/support/cluttex/Makefile
@@ -21,6 +21,7 @@ sources= \
src/texrunner/message.lua \
src/texrunner/fswatcher_windows.lua \
src/texrunner/safename.lua \
+ src/texrunner/checkdriver.lua \
src/cluttex.lua
bin/cluttex: $(sources) build.lua