diff options
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 2 |
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); } |