[m-rev.] Update the web tutorial

[Ralph Becket]

Estimated hours taken: 0.5

Replace the old tutorial with the new one.

news/newsdb.inc:
	Report the change.

information/include/documentation.inc:
	Replace references to the old HTML version with references to the 
	new .ps, .ps.gz, and .pdf versions.

tutorial/book:
tutorial/book.ps:
tutorial/book.ps.gz:
tutorial/book.pdf:
	Added.

Index: information/include/documentation.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/documentation.inc,v
retrieving revision 1.8
diff -u -r1.8 documentation.inc
--- information/include/documentation.inc	7 Jan 2005 01:45:02 -0000	1.8
+++ information/include/documentation.inc	11 Apr 2005 00:54:05 -0000
@@ -14,13 +14,15 @@
 <ul>
 	<li> <a href="mailto:rafe at cs.mu.oz.au">Ralph Becket</a>'s
 	     <strong>Mercury tutorial</strong><br>
-	A beginner's introduction to Mercury.
+	An introduction to Mercury.
 	This is still under development. 
-	Feedback would be appreciated.
+	Feedback would be greatly appreciated.
 	<p>
 
 	Available in
-	<a href="../tutorial/index.html">HTML</a> only.
+	<a href="../tutorial/book/book.ps">(ps)</a>,
+	<a href="../tutorial/book/book.ps.gz">(ps.gz)</a>, and
+	<a href="../tutorial/book/book.pdf">(pdf)</a>.
 	<p>
 
 	<li> <strong>Mercury Language Reference Manual</strong> <br>
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.83
diff -u -r1.83 newsdb.inc
--- news/newsdb.inc	5 Apr 2005 04:25:40 -0000	1.83
+++ news/newsdb.inc	11 Apr 2005 00:58:42 -0000
@@ -22,6 +22,13 @@
 
 $newsdb = array(
 
+"10 April 2005" => array("Updated and expanded tutorial available",
+
+"A much improved tutorial is now available from the 
+<A HREF=\"$root/information/documentation.html\">documentation</A>
+section."
+),
+
 "4 April 2005" => array("Mercury 0.12.0-beta available",
 
 "A beta version of the upcoming 0.12.0 release in now available from the
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------