From 40e5e2712ec0165daaeab73cc7c3d35c900a7a8b Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 13 Jun 2010 21:13:09 +0000
Subject: Tweak webpage, and link to KLEE buildbot.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@105926 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/menu.html.incl | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/www/menu.html.incl b/www/menu.html.incl
index 689be511..7e73fb16 100644
--- a/www/menu.html.incl
+++ b/www/menu.html.incl
@@ -2,7 +2,7 @@
   <div>
     <a href="http://klee.llvm.org/">KLEE Home</a>
   </div>
-  
+
   <div class="submenu">
     <label>KLEE Info</label>
     <a href="GetStarted.html">Getting Started</a>
@@ -13,12 +13,17 @@
 
   <div class="submenu">
     <label>Quick Links</label>
-    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev</a>
+    <a href="http://keeda.stanford.edu/mailman/listinfo/klee-dev">klee-dev (mailing list)</a>
     <a href="http://llvm.org/bugs/">Bug Reports</a>
+    <a href="http://llvm.org/">LLVM Home</a>
+  </div>
+
+  <div class="submenu">
+    <label>Development &amp; Code</label>
+    <a href="http://klee.minormatter.com:8010/">Buildbot</a>
     <a href="http://llvm.org/svn/llvm-project/klee/trunk/">Browse SVN</a>
     <a href="http://llvm.org/viewvc/llvm-project/klee/trunk/">Browse ViewVC</a>
-    <a href="http://t1.minormatter.com/~ddunbar/klee-doxygen/index.html">doxygen</a>
-    <a href="http://t1.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a>
-    <a href="http://llvm.org/">LLVM Home</a>
+    <a href="http://test.minormatter.com/~ddunbar/klee-doxygen/index.html">Browse Doxygen</a>
+    <a href="http://test.minormatter.com/~ddunbar/klee-cov/index.html">Testing Coverage</a>
   </div>
 </div>
-- 
cgit 1.4.1