[m-rev.] diff: fix pdf documentation link

[Ian MacLarty]

Estimated hours taken: 0.1

information/include/documentation.inc:
	Fix a link which was pointing to the 0.11 version of the
	documentation instead of the latest version.
	Add links to the PDF versions of the release 0.11 documentation.

Index: information/include/documentation.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/documentation.inc,v
retrieving revision 1.11
diff -u -r1.11 documentation.inc
--- information/include/documentation.inc	31 Aug 2005 12:28:49 -0000	1.11
+++ information/include/documentation.inc	1 Sep 2005 02:27:00 -0000
@@ -33,11 +33,12 @@

 	<dl compact>
 	<dt> Version <? echo $current_release ?>: <dd>
-	<a href="<? echo $ref_man_release ?>">HTML</a> or
+	<a href="<? echo $ref_man_release ?>">HTML</a>,
+	<a href="doc-release/reference_manual.pdf">PDF</a> or
 	<a href="doc-release/reference_manual.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
 	<a href="<? echo $ref_man_latest ?>">HTML</a>,
-	<a href="doc-release/reference_manual.pdf">PDF</a> or
+	<a href="doc-latest/reference_manual.pdf">PDF</a> or
 	<a href="doc-latest/reference_manual.ps.gz">Postscript</a>.
 	</dl>
 	<p>
@@ -49,7 +50,8 @@

 	<dl compact>
 	<dt> Version <? echo $current_release ?>: <dd>
-	<a href="<? echo $user_guide_release ?>">HTML</a> or
+	<a href="<? echo $user_guide_release ?>">HTML</a>,
+	<a href="doc-release/user_guide.pdf">PDF</a> or
 	<a href="doc-release/user_guide.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
 	<a href="<? echo $user_guide_latest ?>">HTML</a>,
@@ -64,7 +66,8 @@

 	<dl compact>
 	<dt> Version <? echo $current_release ?>: <dd>
-	<a href="<? echo $library_man_release ?>">HTML</a> or
+	<a href="<? echo $library_man_release ?>">HTML</a>,
+	<a href="doc-release/library.pdf">PDF</a> or
 	<a href="doc-release/library.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
 	<a href="<? echo $library_man_latest ?>">HTML</a>,
@@ -80,7 +83,8 @@

 	<dl compact>
 	<dt> Version <? echo $current_release ?>: <dd>
-	<a href="<? echo $trans_guide_release ?>">HTML</a> or
+	<a href="<? echo $trans_guide_release ?>">HTML</a>,
+	<a href="doc-release/transition_guide.pdf">PDF</a> or
 	<a href="doc-release/transition_guide.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
 	<a href="<? echo $trans_guide_latest ?>">HTML</a>,
@@ -103,7 +107,8 @@

 	<dl compact>
 	<dt> Version <? echo $current_release ?>: <dd>
-	<a href="<? echo $faq_release ?>">HTML</a> or
+	<a href="<? echo $faq_release ?>">HTML</a>,
+	<a href="doc-release/faq.pdf">PDF</a> or
 	<a href="doc-release/faq.ps.gz">Postscript</a>.
 	<dt> Snapshot: <dd>
 	<a href="<? echo $faq_latest ?>">HTML</a>,

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