[m-dev.] diff: build ps files in doc dir

[Peter Ross]

Hi,


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


Estimated hours taken: 0.5

doc/Mmakefile:
    Add a rule to build the postscript files.


Index: Mmakefile
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/Mmakefile,v
retrieving revision 1.21
diff -u -r1.21 Mmakefile
--- Mmakefile	1999/11/24 04:04:09	1.21
+++ Mmakefile	2000/02/17 01:01:54
@@ -52,8 +52,11 @@
 
 .SUFFIXES: .texi .dvi .ps .text
 
-.texi.dvi:
+%.dvi: %.texi
 	$(TEXI2DVI) $<
+
+%.ps: %.dvi
+	$(DVIPS) -f < $< > $@
 
 .texi.text:
 	$(MAKEINFO) --no-headers -o $@ $<

----
Peter Ross
PhD Student University of Melbourne
http://www.cs.mu.oz.au/~petdr/
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------