diff options
| author | Karl Berry <karl@freefriends.org> | 2021-03-03 23:53:17 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2021-03-03 23:53:17 +0000 |
| commit | 201ffdd5ea5ef85be61d59ae752cec3073a5db28 (patch) | |
| tree | 8b335bdf48dc5aa780d7e7e399ad9cd616602561 /Master/tlpkg | |
| parent | 18c8b3d01c909f3f8389f93ab8b4fe9e89369cff (diff) | |
rm play-font, author request (dup Play.sty)
git-svn-id: svn://tug.org/texlive/trunk@58099 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 2 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc | 1 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/play-font.tlpsrc | 1 |
3 files changed, 1 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index cef57225a6e..155fa8723e0 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -595,7 +595,7 @@ my @TLP_working = qw( pl placeat placeins placeins-plain plain-doc plainpkg plainyr plari plantslabels plantuml plates platex platex-tools platexcheat plautopatch - play play-font playfair plex plex-otf plimsoll plipsum + play playfair plex plex-otf plimsoll plipsum plnfss plstmary plweb pm-isomath pmboxdraw pmgraph pmhanguljamo pmx pmxchords pnas2009 poemscol poetry poetrytex poiretone polexpr polski poltawski diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc index 3dc6aa9a84a..b6df27cad53 100644 --- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc @@ -263,7 +263,6 @@ depend paratype depend phaistos depend phonetic depend pigpen -depend play-font depend playfair depend plex depend plex-otf diff --git a/Master/tlpkg/tlpsrc/play-font.tlpsrc b/Master/tlpkg/tlpsrc/play-font.tlpsrc deleted file mode 100644 index 9138a8d0f4f..00000000000 --- a/Master/tlpkg/tlpsrc/play-font.tlpsrc +++ /dev/null @@ -1 +0,0 @@ -execute addMap Play.map |