summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/cdbuild/ctan2tds.pl1
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",