[m-rev.] for review: add links to pdf documentation on web site

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.2

information/include/documentation.inc:
	Add links to pdf versions of the snapshot documentation.

Index: information/include/documentation.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/documentation.inc,v
retrieving revision 1.10
diff -u -r1.10 documentation.inc
--- information/include/documentation.inc	13 Apr 2005 01:43:53 -0000	1.10
+++ information/include/documentation.inc	13 Aug 2005 05:25:56 -0000
@@ -7,7 +7,7 @@
 <p>

 The HTML versions are set up for browsing, however, if you'd prefer a
-copy of the entire document, links to postscript copies are provided.
+copy of the entire document, links to PDF and postscript copies are provided.
 Please note that the postscript files are compressed using gzip and are
 in a4 format.
 <p>
@@ -21,7 +21,7 @@

 	Available in
 	<a href="../tutorial/book/book.ps">Postscript</a>,
-	<a href="../tutorial/book/book.ps.gz">gzipped Postscript</a>, and
+	<a href="../tutorial/book/book.ps.gz">gzipped Postscript</a> or
 	<a href="../tutorial/book/book.pdf">PDF</a>.
 	<p>

@@ -36,7 +36,8 @@
 	<a href="<? echo $ref_man_release ?>">HTML</a> or
 	<a href="doc-release/reference_manual.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
-	<a href="<? echo $ref_man_latest ?>">HTML</a> or
+	<a href="<? echo $ref_man_latest ?>">HTML</a>,
+	<a href="doc-release/reference_manual.pdf">PDF</a> or
 	<a href="doc-latest/reference_manual.ps.gz">Postscript</a>.
 	</dl>
 	<p>
@@ -51,7 +52,8 @@
 	<a href="<? echo $user_guide_release ?>">HTML</a> or
 	<a href="doc-release/user_guide.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
-	<a href="<? echo $user_guide_latest ?>">HTML</a> or
+	<a href="<? echo $user_guide_latest ?>">HTML</a>,
+	<a href="doc-latest/user_guide.pdf">PDF</a> or
 	<a href="doc-latest/user_guide.ps.gz">Postscript</a>.
 	</dl>
 	<p>
@@ -65,7 +67,8 @@
 	<a href="<? echo $library_man_release ?>">HTML</a> or
 	<a href="doc-release/library.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
-	<a href="<? echo $library_man_latest ?>">HTML</a> or
+	<a href="<? echo $library_man_latest ?>">HTML</a>,
+	<a href="doc-latest/library.pdf">PDF</a> or
 	<a href="doc-latest/library.ps.gz">Postscript</a>.
 	</dl>
 	<p>
@@ -80,7 +83,8 @@
 	<a href="<? echo $trans_guide_release ?>">HTML</a> or
 	<a href="doc-release/transition_guide.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
-	<a href="<? echo $trans_guide_latest ?>">HTML</a> or
+	<a href="<? echo $trans_guide_latest ?>">HTML</a>,
+	<a href="doc-latest/transition_guide.pdf">PDF</a> or
 	<a href="doc-latest/transition_guide.ps.gz">Postscript</a>.
 	</dl>
 	<p>
@@ -102,7 +106,8 @@
 	<a href="<? echo $faq_release ?>">HTML</a> or
 	<a href="doc-release/faq.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
-	<a href="<? echo $faq_latest ?>">HTML</a> or
+	<a href="<? echo $faq_latest ?>">HTML</a>,
+	<a href="doc-latest/faq.pdf">PDF</a> or
 	<a href="doc-latest/faq.ps.gz">Postscript</a>.
 	</dl>
 	<p>

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