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