|
From: Luigi B. <lui...@fa...> - 2003-10-03 07:20:49
|
At 12:16 AM 10/3/03, Liguo Song wrote:
>if no option is given, the output of dvips will go to a printer.
>One solution to avoid this problem is to invoke dvips with "-o file.ps".
>Should we use this in our make files? If so, can anyone commit this change?
Yes, we should. I just committed the change.
Thanks,
Luigi
|