..if you haven't done it already ;-). I incorrectly reported that dvips has a problem with dealing with large dvi files. As I found it later, the problem I came accross has nothing to do with the size of dvi file, so my original bug report is all wrong. Sorry about this, Slaven