diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/prodint.tlpsrc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc index 8a1f1ac9612..39c5f551868 100644 --- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc @@ -128,6 +128,7 @@ depend phaistos depend phonetic depend pigpen depend poltawski +depend prodint depend psafm depend ptsans depend ptserif diff --git a/Master/tlpkg/tlpsrc/prodint.tlpsrc b/Master/tlpkg/tlpsrc/prodint.tlpsrc new file mode 100644 index 00000000000..04fefc5c992 --- /dev/null +++ b/Master/tlpkg/tlpsrc/prodint.tlpsrc @@ -0,0 +1 @@ +execute addMap prodint.map |