diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/hanoi.tlpsrc | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 8b1130e9b28..e4f06dc26be 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -1166,7 +1166,7 @@ $standardtex='\.(.bx|cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$'; 'getoptk', '\.tex', 'ginpenc', '\.gie|\.sty', 'graphics-pln','^[^e].*\.tex|.*\.sty', # not exmpl* - 'hanoid', 'hanoi\.tex', + 'hanoi', 'hanoi\.tex', 'harvmac', 'mac\.tex', 'hc', '\.hld|' . $standardtex, 'hrefhide', '\.sty|[^c]\.cfg', # omit ltxdoc.cfg, would be system-wide diff --git a/Master/tlpkg/tlpsrc/hanoi.tlpsrc b/Master/tlpkg/tlpsrc/hanoi.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/hanoi.tlpsrc |