diff options
author | Norbert Preining <norbert@preining.info> | 2020-02-07 03:01:03 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-02-07 03:01:03 +0000 |
commit | 9c4a09ca6a4130e71ba545412319aaee3c618460 (patch) | |
tree | 52b4c3ee8dc02613fc8ce4faffe5292e10e5d10a /support/cluttex/Makefile | |
parent | e684f0597e24a1d09af301d82b340b2df7cf2080 (diff) |
CTAN sync 202002070301
Diffstat (limited to 'support/cluttex/Makefile')
-rw-r--r-- | support/cluttex/Makefile | 1 |
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 |