diff options
author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-05-14 14:22:07 +0000 |
---|---|---|
committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | 2008-05-14 14:22:07 +0000 |
commit | 749a22b836c0617ba920e782dd6983ef140b729e (patch) | |
tree | dc597fa305090c8cd3d1d5ef2b9628d45ec8fb0e /Master/tlpkg | |
parent | a21ba5862225d316a3e77b0369f68b6db47af2ca (diff) |
warning against div/pdf building
git-svn-id: svn://tug.org/texlive/trunk@8137 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-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 |