Hi Karl, > Hi Akira - I think it should try appending .dvi first (unless the input > name already ends with ".dvi"). That's what almost most of the programs > do (I believe), precisely because of the situation Andreas is reporting. OK, done in r47799. Thanks, Akira