Linked in publications and classes under
new "Emulab Users" top-level menu item.
Moved project list from the top-level underneath this.

For non-Utah emulabs, the project list remains
on the top level.

www/doc/expubs.html

@@ -4,7 +4,8 @@
    All rights reserved.
   -->
 
-<h3>Papers including research conducted on Emulab facilities:</h3>
+<h3>Published papers
+    incorporating research conducted on Emulab facilities:</h3>
 
 <ul>
 

www/doc/users.html

+<ul>
+<li>
+<font size="+1">
+<a href="../projectlist.php3">List of current Emulab projects</a>
+</font>
+</li>
+<br>
+<li>
+<font size="+1">
+<a href="docwrapper.php3?docname=expubs.html"
+>Published papers that have used Emulab</a>
+</font>
+</li>
+<br>
+<li>
+<font size="+1">
+<a href="docwrapper.php3?docname=exclasses.html"
+>Classes that have used Emulab</a>
+</font>
+</li>
+</ul>
\ No newline at end of file

www/menu.php3

@@ -155,8 +155,8 @@ function WRITESIDEBAR() {
 	WRITESIDEBARBUTTON("Software", $TBDOCBASE, "software.php3");
 	WRITESIDEBARBUTTON("People", $TBDOCBASE, "people.php3");
 	WRITESIDEBARBUTTON("Photo Gallery", $TBDOCBASE, "gallery/gallery.php3");
-	WRITESIDEBARBUTTON("Projects on Emulab", $TBDOCBASE,
-			   "projectlist.php3");
+	WRITESIDEBARBUTTON_NEW("Emulab Users", $TBDOCBASE,
+			   "doc/docwrapper.php3?docname=users.html");
 	WRITESIDEBARLASTBUTTON("Sponsors", $TBDOCBASE,
 			       "docwrapper.php3?docname=sponsors.html");
     } else {