diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc/tools.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/tools.tlpsrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/tools.tlpsrc b/Master/tlpkg/tlpsrc/tools.tlpsrc index 65ad91b9cdf..df2c7db00d2 100644 --- a/Master/tlpkg/tlpsrc/tools.tlpsrc +++ b/Master/tlpkg/tlpsrc/tools.tlpsrc @@ -1,3 +1,4 @@ +catalogue latex-tools # lots of other packages have subdirectories named "tools". # instead of laboriously excluding them all explicitly, override the # autopatterns and look only for our own directories. |