diff options
-rw-r--r-- | Master/tlpkg/tlpsrc/pslatex.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/pslatex.tlpsrc b/Master/tlpkg/tlpsrc/pslatex.tlpsrc index 5119e172cb3..43519205e62 100644 --- a/Master/tlpkg/tlpsrc/pslatex.tlpsrc +++ b/Master/tlpkg/tlpsrc/pslatex.tlpsrc @@ -1,2 +1,2 @@ # don't get pslatex.man, that's part of pstools. -docpattern f null +docpattern f ignore |