[m-rev.] for review: install pdf docs on web site

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.3

information/Makefile:
	Install the pdf documentation on the website.

Index: information/Makefile
===================================================================
RCS file: /home/mercury1/repository/w3/information/Makefile,v
retrieving revision 1.20
diff -u -r1.20 Makefile
--- information/Makefile	21 Jan 2004 05:54:07 -0000	1.20
+++ information/Makefile	19 Aug 2005 16:38:29 -0000
@@ -57,9 +57,10 @@
 		echo "PERL=perl"  >> Mmake.common && \
 		echo "INFO=info"  >> Mmake.common && \
 		echo "DVIPS=dvips"  >> Mmake.common && \
+		echo "PDFTEX=pdftex"  >> Mmake.common && \
 		echo 'include $$(MERCURY_DIR)/VERSION'  >> Mmake.common && \
-		(cd doc && mmake split_html ps) && \
-		$(CP) doc/*.html doc/*.ps $$doc_dir && \
+		(cd doc && mmake split_html ps pdf) && \
+		$(CP) doc/*.html doc/*.ps doc/*.pdf $$doc_dir && \
 		if [ -d doc/mercury_ref ]; then \
 		    	$(CP) doc/mercury_ref doc/mercury_user_guide \
 				doc/mercury_library doc/mercury_faq \

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------