summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds1
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/resolsysteme.tlpsrc0
4 files changed, 3 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index bae7d2ad0ff..a1a1c17bd02 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -703,7 +703,7 @@ my @TLP_working = qw(
refcheck refcount refenums reflectgraphics refman refstyle
regcount regexpatch register regstats
reledmac relenc relsize reotex repeatindex repere repltext
- rerunfilecheck rescansync resmes resphilosophica rest-api
+ rerunfilecheck rescansync resmes resolsysteme resphilosophica rest-api
resumecls resumemac returntogrid reverxii revquantum revtex revtex4-1
rgltxdoc ribbonproofs rjlparshap rlepsf rmathbr rmpage
robotarm roboto robustcommand robustindex rojud
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index ee591dd15e9..5c45ba600e2 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1769,6 +1769,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`);
'pxbase' => '&POSTpxbase',
'pxchfon' => '&POSTpxchfon',
'recipebook' => '&POST_rmsymlink',
+ 'resolsysteme' => '&POST_onelevel',
'sanskrit' => '&POSTsanskrit',
'schule' => '&POSTschule',
'scontents' => '&POSTscontents',
diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
index f13173e648d..fa5901c0d95 100644
--- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
@@ -191,6 +191,7 @@ depend qsharp
depend rank-2-roots
depend rbt-mathnotes
depend rec-thy
+depend resolsysteme
depend rest-api
depend revquantum
depend ribbonproofs
diff --git a/Master/tlpkg/tlpsrc/resolsysteme.tlpsrc b/Master/tlpkg/tlpsrc/resolsysteme.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/resolsysteme.tlpsrc