diff options
| author | Karl Berry <karl@freefriends.org> | 2009-12-15 23:55:22 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-12-15 23:55:22 +0000 |
| commit | 0ab576d596d5e6b9c0a5a9b8d0b6032612c94195 (patch) | |
| tree | 2b0fc41316c765816d9a1fadbbb2aa959c373ec0 | |
| parent | a58151b48236015590a61a3c005346006a962519 (diff) | |
docpattern f ignore is the magic, not "null".
git-svn-id: svn://tug.org/texlive/trunk@16416 c570f23f-e606-0410-a88d-b1316a301751
| -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 |