diff options
Diffstat (limited to 'Master/tlpkg/libexec')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
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', |