diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 2f4adfcc1ef..6e5132fd8d3 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -345,6 +345,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'vrsion', "warn \"skipping vrsion, nonfree license\n\"", 'wasy2', "&MAKEflatten", 'wordcount', "&MAKEwordcount", + 'xbase', "&MAKEnosymlinks", 'xfor', "&MAKEflatten", 'xfrac', "&MAKEflatten", 'xkeyval', "&MAKExkeyval", |