summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/pslatex.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/pslatex.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/pslatex.tlpsrc2
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/pslatex.tlpsrc b/Master/tlpkg/tlpsrc/pslatex.tlpsrc
index e69de29bb2d..5119e172cb3 100644
--- a/Master/tlpkg/tlpsrc/pslatex.tlpsrc
+++ b/Master/tlpkg/tlpsrc/pslatex.tlpsrc
@@ -0,0 +1,2 @@
+# don't get pslatex.man, that's part of pstools.
+docpattern f null