Minor additions at Jay's request for SIGCOMM 2002 tutorial stuff.

www/.htaccess

@@ -3,5 +3,7 @@ Options Includes
 ErrorDocument 404 /error.php3
 ErrorDocument 403 /error.php3
 
+Redirect /tutorial.html http://www.emulab.net/sc2002tut.php3
+
 DirectoryIndex start.php3
 

www/GNUmakefile.in

@@ -45,6 +45,8 @@ DOCFILES  = $(wildcard $(SRCDIR)/doc/*.html)
 DOCFILES += $(wildcard $(SRCDIR)/doc/*.jpg)
 DOCFILES += $(wildcard $(SRCDIR)/doc/*.gif)
 DOCFILES += $(wildcard $(SRCDIR)/doc/*.php3)
+DOCFILES += $(wildcard $(SRCDIR)/doc/*.ps)
+DOCFILES += $(wildcard $(SRCDIR)/doc/*.pdf)
 
 TUTFILES  = $(wildcard $(SRCDIR)/tutorial/*.html)
 TUTFILES += $(wildcard $(SRCDIR)/tutorial/*.jpg)

www/menu.php3

@@ -62,6 +62,8 @@ function WRITESIDEBAR() {
     echo "<table cellspacing=2 cellpadding=2 border=0 width=150>\n";
 
     WRITESIDEBARBUTTON("Home", $TBDOCBASE, "index.php3");
+    WRITESIDEBARBUTTON("Tutorial at SIGCOMM'02 <img src=/new.gif>",
+		       $TBDOCBASE, "sc2002tut.php3");
     WRITESIDEBARBUTTON("News (<img src=/new.gif> Apr 19)", $TBDOCBASE,
 		       "docwrapper.php3?docname=news.html");
     WRITESIDEBARBUTTON("Tutorial", $TBDOCBASE, "tutorial/tutorial.php3");

www/sc2002tut.php3

+<?php
+require("defs.php3");
+
+#
+# Standard Testbed Header
+#
+PAGEHEADER("SIGCOMM 2002 Emulab Tutorial");
+?>
+
+<center>
+<h2>SIGCOMM 2002 Emulab Tutorial</h2>
+</center>
+
+<p>
+On Monday August 19 at
+<a href = "http://www.acm.org/sigcomm/sigcomm2002/">SIGCOMM 2002</a>
+in Pittsburgh, PA, we are presenting a
+<a href = "http://www.acm.org/sigcomm/sigcomm2002/tutorial4.html">tutorial</a>
+on the Emulab testbeds, offered in both half and full-day versions.
+The primary focus will be on how to use the testbeds, both for
+beginners and for advanced users, but will also discuss a number of
+other topics, including how to build your own Emulab and how to join
+the new distributed testbed.
+
+<p>
+A detailed description is available in
+<a href = "doc/sctutdeslong.ps">Postscript</a>
+and <a href = "doc/sctutdeslong.pdf">PDF</a> formats.
+
+<?php
+
+echo "<p>
+      If you have questions, it's okay to email $TBMAILADDR,
+      or call +1-801-581-4285.\n";
+
+#
+# Standard Testbed Footer
+# 
+PAGEFOOTER();
+?>
+