why does dvips send its output to a printer by default?? I use dvips on Windows, and it does not do that (it sends the output to <filename>.ps) which makes the most sense.