trivial diff: dvips change

[Peter David ROSS]

Hi,


===================================================================


Estimated hours taken: 0.1

Ensure that dvips outputs a file.

doc/Mmakefile:
    Ensure that dvips outputs a file, because sometimes it chooses to
    send its output to the printer.


Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/Mmakefile,v
retrieving revision 1.10
diff -u -u -r1.10 Mmakefile
--- Mmakefile   1998/07/13 02:21:20     1.10
+++ Mmakefile   1998/09/01 05:09:52
@@ -30,7 +30,7 @@
 	$(MAKEINFO) --no-headers -o $@ $<
 
 .dvi.ps:
-	$(DVIPS) $<
+	$(DVIPS) -o $@ $<
  
 %.html %_toc.html: %.texi
 	$(TEXI2HTML) $<