gil@daffy.gatech.edu (Gil Neiger) (01/17/90)
Does anyone have a hacked up version of dvips that correctly works as a filter? The documentation specifies that if no file name is given on the command line, then stdin is used instead, and if the -f option is given, then the output is also sent to stdout. However, dvips only works as such if stdin is seekable, which means that it does *not* work if the input to dvips is through a pipe, e.g., the output of something like dviselect. - Gil Neiger gil@daffy.gatech.edu