diff options
| author | Karl Berry <karl@freefriends.org> | 2020-10-09 20:17:04 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2020-10-09 20:17:04 +0000 |
| commit | f1e87be0437c36c1ff6d9d04661b999c2dfacd74 (patch) | |
| tree | b06f12d5b9579cf384af11b7c28bb2f8e7ebb3d8 /Master/tlpkg | |
| parent | 5fb92d1704e9ed5ffb38abafab68950893a8c1fe (diff) | |
plimsoll (9oct20)
git-svn-id: svn://tug.org/texlive/trunk@56605 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/plimsoll.tlpsrc | 1 |
3 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index afaa2f58ef8..490d5ff5b79 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -583,7 +583,7 @@ my @TLP_working = qw( pl placeat placeins placeins-plain plain-doc plainpkg plainyr plari plantslabels plantuml plates platex platex-tools platexcheat plautopatch - play playfair plex plex-otf 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 08bb22b4541..ccc0034f0c5 100644 --- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc @@ -252,6 +252,7 @@ depend pigpen depend playfair depend plex depend plex-otf +depend plimsoll depend poiretone depend poltawski depend prodint diff --git a/Master/tlpkg/tlpsrc/plimsoll.tlpsrc b/Master/tlpkg/tlpsrc/plimsoll.tlpsrc new file mode 100644 index 00000000000..493569ed3f6 --- /dev/null +++ b/Master/tlpkg/tlpsrc/plimsoll.tlpsrc @@ -0,0 +1 @@ +execute addMap ${PKGNAME}.map |