help.html: whoops, need to remove the extra links.

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 410520821839a94d0f27607ef02e0edc238c493c..653dd2047b7d2b4e18890e81c1a1947da4aa37ac 100644 (file)
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -75,15 +75,13 @@ M: pathname url-of
     "conventions" >link topic>filename
     [XML
         <div class="navbar">
-        <b> Factor Documentation </b> |
         <a href="http://factorcode.org">Factor</a>
-        <a href="/">Home</a>
+        <a href="/">Documentation</a>
         <a href=<->>Glossary</a>
         <form method="get" action="/search" style="display:inline;">
             <input placeholder="Search" name="search" type="text"/>
             <input type="submit" value="Go"/>
         </form>
-        <a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a>
         </div>
      XML] ;