diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/thaifonts.tlpsrc | 2 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/tools.tlpsrc | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/thaifonts.tlpsrc b/Master/tlpkg/tlpsrc/thaifonts.tlpsrc new file mode 100644 index 00000000000..25be1a59dc9 --- /dev/null +++ b/Master/tlpkg/tlpsrc/thaifonts.tlpsrc @@ -0,0 +1,2 @@ +name thaifonts +type Package diff --git a/Master/tlpkg/tlpsrc/tools.tlpsrc b/Master/tlpkg/tlpsrc/tools.tlpsrc index dd95924f474..5e68a197f48 100644 --- a/Master/tlpkg/tlpsrc/tools.tlpsrc +++ b/Master/tlpkg/tlpsrc/tools.tlpsrc @@ -1,4 +1,3 @@ name tools category Package srcpattern +!d texmf-dist/source/latex/tcldoc/tools -srcpattern +!d texmf-dist/source/latex/cjk/utils/thaifont/tools |