summaryrefslogtreecommitdiff
path: root/Build/tools/ctan2tl
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools/ctan2tl')
-rwxr-xr-xBuild/tools/ctan2tl13
1 files changed, 0 insertions, 13 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl
index 0e01ef482f0..622656c691f 100755
--- a/Build/tools/ctan2tl
+++ b/Build/tools/ctan2tl
@@ -96,19 +96,6 @@ else
cp -pr $ctan_dir1/. $pkg
fi
-# Another special case: annoyingly, tugboat plain and tugboat latex are
-# stored in two different places on ctan. we'll assume we're invoked
-# with the latex dir, and now arrange to also copy in the plain stuff to
-# a `plain' subdirectory, which ctan2tds.pl has a further special case
-# to handle. Maybe we'll come across other cases like this, in which
-# case we can generalize this.
-#
-if test "$pkg" = tugboat; then
- ctan_dir2=`echo $ctan_dir1 | sed s/latex/plain/`
- destdir2=$pkg/plain
- cp -r $ctan_dir2 $destdir2
-fi
-
fi # end of copying from CTAN.