diff options
author | Karl Berry <karl@freefriends.org> | 2020-02-06 20:51:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-02-06 20:51:06 +0000 |
commit | 7c7733869f9c87f25ca43453f025a0a7ebbda3cd (patch) | |
tree | 74bfc2788d5e6f201a2a1972cf89aabe68b4f8cd /Master/texmf-dist/doc/support/cluttex/Makefile | |
parent | dec495c25120bdd95ed719784bf1afa8a63145fa (diff) |
cluttex (6feb20)
git-svn-id: svn://tug.org/texlive/trunk@53698 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 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/cluttex/Makefile b/Master/texmf-dist/doc/support/cluttex/Makefile index ef12dd5131c..ae764ad2ab5 100644 --- a/Master/texmf-dist/doc/support/cluttex/Makefile +++ b/Master/texmf-dist/doc/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 |