[m-dev.] diff: build ps files for website.

[Peter Ross]

Hi,

Ignore the last diff, this is the complete one.

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


Estimated hours taken: 0.5

Build the postscript files in the doc directory correctly for
installation on the web site.

w3/information/Makefile:
	Record the location of dvips, info and perl.

doc/Mmakefile:
	Add a rule to make the ps from the dvi file.


Index: Makefile
===================================================================
RCS file: /home/mercury1/repository/w3/information/Makefile,v
retrieving revision 1.8
diff -u -r1.8 Makefile
--- Makefile	1999/12/06 23:57:24	1.8
+++ Makefile	2000/02/17 00:16:01
@@ -21,6 +21,9 @@
 	[ -d notes ] || \
 		(cvs checkout -d notes mercury/compiler/notes)
 	echo "LIBRARY_DIR=`pwd`/library"  > Mmake.common
+	echo "PERL=perl"  >> Mmake.common
+	echo "INFO=info"  >> Mmake.common
+	echo "DVIPS=dvips"  >> Mmake.common
 	(cd notes; mmake MERCURY_DIR=.. )
 	(cd mercury-doc; mmake library-chapters.texi split_html ps)
 	$(CP) notes/*.text doc
Index: mercury-doc/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.21
diff -u -r1.21 Mmakefile
--- mercury-doc/Mmakefile	1999/11/24 04:04:09	1.21
+++ mercury-doc/Mmakefile	2000/02/17 00:43:16
@@ -52,10 +52,13 @@
 
 .SUFFIXES: .texi .dvi .ps .text
 
-.texi.dvi:
+%.dvi: %.texi
 	$(TEXI2DVI) $<
 
-.texi.text:
+%.ps: %.dvi
+	$(DVIPS) -f < $< > $@
+
+%.text: %.texi
 	$(MAKEINFO) --no-headers -o $@ $<
 
 %.html %_toc.html: %.texi
@@ -289,7 +292,7 @@
 # INSTALL_WEBPAGE_DIR).
 
 .PHONY: install_webpage
-install_webpage: library-chapters.texi split_html ps  install_dirs
+install_webpage: library-chapters.texi split_html ps install_dirs
 	cp *.ps $(INSTALL_WEBPAGE_DIR)
 	for file in $(INSTALL_WEBPAGE_DIR)/*.ps ; do \
 		gzip -f -9 $$file ; \

----
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
--------------------------------------------------------------------------