[m-rev.] diff: fix HTML doc links on web site

[Ian MacLarty]

Estimated hours taken: 0.2

include/globals.inc.in:
	Fix the HTML documentation links.  These were still pointing to the
	0.11 docs.

Index: include/globals.inc.in
===================================================================
RCS file: /home/mercury1/repository/w3/include/globals.inc.in,v
retrieving revision 1.4
diff -u -r1.4 globals.inc.in
--- include/globals.inc.in	11 Jan 2005 02:09:53 -0000	1.4
+++ include/globals.inc.in	29 Sep 2005 10:13:42 -0000
@@ -4,20 +4,14 @@
 	$next_beta_version="<NEXT_BETA_VERSION>";
 	$release_doc_dir="$root/information/doc-release";
 	$latest_doc_dir="$root/information/doc-latest";
-	// The "foo_toc.html" form is used by texi2html, which was used
-	// in Mercury 0.11 and earlier.
-	// The "foo/index.html" form is used by "makeinfo --html", which is
-	// used in our ROTD releases.
-	// XXX The names used for $*_release will need to be updated
-	// when the next version after 0.11 is released.
-	$ref_man_release="$release_doc_dir/reference_manual_toc.html";
+	$ref_man_release="$release_doc_dir/mercury_ref/index.html";
 	$ref_man_latest="$latest_doc_dir/mercury_ref/index.html";
-	$user_guide_release="$release_doc_dir/user_guide_toc.html";
+	$user_guide_release="$release_doc_dir/mercury_user_guide/index.html";
 	$user_guide_latest="$latest_doc_dir/mercury_user_guide/index.html";
-	$library_man_release="$release_doc_dir/library_toc.html";
+	$library_man_release="$release_doc_dir/mercury_library/index.html";
 	$library_man_latest="$latest_doc_dir/mercury_library/index.html";
-	$trans_guide_release="$release_doc_dir/transition_guide_toc.html";
+	$trans_guide_release="$release_doc_dir/mercury_trans_guide/index.html";
 	$trans_guide_latest="$latest_doc_dir/mercury_trans_guide/index.html";
-	$faq_release="$release_doc_dir/faq_toc.html";
+	$faq_release="$release_doc_dir/mercury_faq/index.html";
 	$faq_latest="$latest_doc_dir/mercury_faq/index.html";
 ?>

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