don't convert ps when converting dvi already failed
don't convert ps when converting dvi already failed
ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app,WoLpH/skim,WoLpH/skim,ycaihua/skim-app,WoLpH/skim