diff options
| author | Karl Berry <karl@freefriends.org> | 2009-05-24 00:20:21 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-05-24 00:20:21 +0000 |
| commit | 2fb0bda10a85fcf4aa5f00a52296b6311158f45d (patch) | |
| tree | bd0154d4c95f5f70a257cc7cbdaa9997c01d4e44 /Master/tlpkg | |
| parent | f4c177c2f968c468d88aea4eee2b700ae0ab834a (diff) | |
arrange special-case catalogue names for pl (=plpsfont) and plweb (=pl); report from Dan Luecking, 20 Apr 2009 22:52:54
git-svn-id: svn://tug.org/texlive/trunk@13437 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
| -rw-r--r-- | Master/tlpkg/tlpsrc/pl.tlpsrc | 3 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/plweb.tlpsrc | 1 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/pl.tlpsrc b/Master/tlpkg/tlpsrc/pl.tlpsrc index c9139b6d3a9..2ab0df8f242 100644 --- a/Master/tlpkg/tlpsrc/pl.tlpsrc +++ b/Master/tlpkg/tlpsrc/pl.tlpsrc @@ -1,4 +1,3 @@ -name pl -category Package +catalogue plpsfont execute addMixedMap plother.map execute addMixedMap pltext.map diff --git a/Master/tlpkg/tlpsrc/plweb.tlpsrc b/Master/tlpkg/tlpsrc/plweb.tlpsrc index e69de29bb2d..200e68dd73e 100644 --- a/Master/tlpkg/tlpsrc/plweb.tlpsrc +++ b/Master/tlpkg/tlpsrc/plweb.tlpsrc @@ -0,0 +1 @@ +catalogue pl |