diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 5 |
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 |