diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/gfnotation.tlpsrc | 0 |
2 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc index 344ba4c0164..476a3d5145b 100644 --- a/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-plainextra.tlpsrc @@ -10,6 +10,7 @@ depend fixpdfmag depend font-change depend fontch depend getoptk +depend gfnotation depend graphics-pln depend hyplain depend js-misc diff --git a/Master/tlpkg/tlpsrc/gfnotation.tlpsrc b/Master/tlpkg/tlpsrc/gfnotation.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/gfnotation.tlpsrc |