summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tds5
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index b45d498d9b2..21ea16ff9b9 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -1517,7 +1517,10 @@ sub dodvi
# and aren't worth it.
return if $DEST_TREE eq "texmf-doc";
$dvipatt = $specialdvi{$package} || $standarddvi;
- &rundvi ($dvipatt);
+ unless ( $thispatt == 'NULL' ) {
+ warn "$0: Building doc: shouldn't need do to that. Please check.";
+ &rundvi ($dvipatt);
+ }
}
# move the runtime files