--- mitgcm.org/front_content/docs.xml	2003/12/04 03:10:49	1.1
+++ mitgcm.org/front_content/docs.xml	2003/12/06 20:06:58	1.3
@@ -14,7 +14,6 @@
     <meta name="add_title" content="Documentation" />
     <!-- Hinting for menu generation -->
 
-    <title>MITgcm: <!--ADDTITLE--></title>
 <style type="text/css">
  span.c2 {font-size: 110%}
  div.c1 {text-align: center}
@@ -29,8 +28,17 @@
 	<li>The complete <a href="http://mitgcm.org/sealion/">MITgcm User's
 	    Manual</a><br /><br /></li>
 
-	<li>An MITgcm <a href="http://mitgcm.org/devel_HOWTO/">"Developer's
-	  HOWTO" </a></li>
+	<li>An MITgcm "Developer's HOWTO" is available in multiple formats:
+	  <ul>
+	    <li><a href="./devel_HOWTO/devel_HOWTO_onepage/"> Single-page
+		HTML</a></li>
+	    <li><a href="./devel_HOWTO/devel_HOWTO_multipage/"> Multi-page
+		HTML</a></li>
+	    <li><a href="./devel_HOWTO/devel_HOWTO.pdf"> PDF file </a></li>
+	    <li><a href="./devel_HOWTO/devel_HOWTO.pdf"> PostScript file
+		</a></li>
+	  </ul>
+	</li>
 
       </ul>
     </p>