Remove robots noindex directive added in last revision.

c7157a2f · Leigh B. Stoller · 0121e3fe · c7157a2f
Commit c7157a2f authored Aug 05, 2003 by Leigh B. Stoller
--- a/www/menu.php3
+++ b/www/menu.php3
@@ -433,9 +433,6 @@ function PAGEBEGINNING( $title ) {
 	echo "<meta NAME=\"description\" ".
                   "CONTENT=\"emulab - network emulation testbed home\">\n";
    }
-    else {
-	echo "<meta NAME=\"robots\" CONTENT=\"NOINDEX\">\n";
-    }

    echo "</head>
            <body bgcolor='#FFFFFF'