[m-rev.] for review 1/2: Various fixes to website content.

[Paul Bone]

For review by anyone.

Various fixes to website content.

include/menubar.inc:
    Disable the downloads submenus for now.  Until we fix the downloads page
    more permanently it is best to disable these submenus in the website as
    they may confuse visitors.

documentation/include/deep_demo.inc:
    Say that the deep profiler has been available since 10.04

development/include/developer.inc:
    Warn about out-of-date developer's information.

include/contact.inc:
    Add an e-mail address to the contact page as there may be cases where
    the mailing lists aren't appropriate.
---
 development/include/developer.inc   | 8 +++++++-
 documentation/include/deep_demo.inc | 3 ++-
 include/contact.inc                 | 7 +++++++
 include/menubar.inc                 | 6 +++++-
 4 files changed, 21 insertions(+), 3 deletions(-)

diff --git a/development/include/developer.inc b/development/include/developer.inc
index d96e9af..8cffccd 100644
--- a/development/include/developer.inc
+++ b/development/include/developer.inc
@@ -1,5 +1,10 @@
 <h2>Development<span class="submenutitle">/ developer documentation</span></h2>
 
+<p>
+These pages may contain out-of-date information.
+We hope to update or replace this information in the future.
+</p>
+
 <div class="developer">
 <ul class="nonindentlist">
 <li> 	
@@ -10,12 +15,13 @@
 	<p>
 	</li>
 
+<!--- Completely out of date.
 <li> 	
 <h3><a href="developers/remote_cvs.html">Remote CVS Access</a></h3>
 	<p>
 	How to access the CVS repository from your machine.</p>
 	</li>
-
+-->
 
 <li> 	
 <h3><a href="developers/c_coding_standard.html">C Coding Standard For The Mercury Project</a></h3>
diff --git a/documentation/include/deep_demo.inc b/documentation/include/deep_demo.inc
index 74f2e62..5d17856 100644
--- a/documentation/include/deep_demo.inc
+++ b/documentation/include/deep_demo.inc
@@ -157,5 +157,6 @@ The second profile was taken after this bottleneck was fixed.
 
 <h3>Availability</h3>
 <p>
-The Mercury deep profiler is available in the Mercury releases of the day.
+The Mercury deep profiler has been available since Mercury version 10.04.
 </p>
+
diff --git a/include/contact.inc b/include/contact.inc
index 688ad3e..c160978 100644
--- a/include/contact.inc
+++ b/include/contact.inc
@@ -17,6 +17,13 @@ Also, you might want to check the current release to see if a newer release is
 available, or see the bug tracker to see if the bug has already been reported.
 </p>
 
+<p>
+If you wish to contact the core team about something not suitable for the
+mailing lists then e-mail
+<a href="mailto:mercury at mercurylangi.org">mercury at mercurylang.org</a>
+User support questions are best handled on the mercury-users mailing list.
+</p>
+
 <h3>Mailing Lists</h3>
 
 <p>
diff --git a/include/menubar.inc b/include/menubar.inc
index 883732d..9217e7c 100644
--- a/include/menubar.inc
+++ b/include/menubar.inc
@@ -21,7 +21,11 @@
 <a href="<?php echo $root?>/news.html"><li <?php if($menu == 'News'){ ?> class="current" <?php } ?> >News</li></a>
 <a href="<?php echo $root?>/download.html"><li <?php if($menu == 'Download'){ ?> class="current" <?php } ?> >Download</li></a>
 	<?php
-	if($menu == "Download") { ?>
+    // Temporarily disabled submenus by pbone until we fix the download
+    // links more perminently.
+    //if($menu == "Download") {
+    if (false) {
+    ?>
 	<ul class="submenu">
 	<li><a href="<?php echo $root?>/download/releases.html">
 	<div <?php if($include=="releases.inc"){ ?> class="submenucurrent" <?php } ?>>
-- 
1.8.1.3