diff options
Diffstat (limited to 'Build/tools/ctan2tl')
-rwxr-xr-x | Build/tools/ctan2tl | 13 |
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. |