diff options
| author | Karl Berry <karl@freefriends.org> | 2009-05-22 23:25:30 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-05-22 23:25:30 +0000 |
| commit | 1712ea5ba2874b0bf465510d8ad0c7df7693edaf (patch) | |
| tree | d596fb871db21b3e06db2a1df6afd24bfd9f2847 /Master/tlpkg/tlpsrc/gauss.tlpsrc | |
| parent | 80cd951bb93b29e4ea19884bdc246f41a5edf9c9 (diff) | |
guess it should have been a docpattern
git-svn-id: svn://tug.org/texlive/trunk@13389 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/gauss.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/gauss.tlpsrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/gauss.tlpsrc b/Master/tlpkg/tlpsrc/gauss.tlpsrc index 6ce38ac6241..19f9b8a61ef 100644 --- a/Master/tlpkg/tlpsrc/gauss.tlpsrc +++ b/Master/tlpkg/tlpsrc/gauss.tlpsrc @@ -1 +1 @@ -runpattern +!d texmf-dist/doc/generic/voss-de/gauss +docpattern +!d texmf-dist/doc/generic/voss-de/gauss |