From 0a64c19c11f8a1aa3dbbeda334ff47e3825c2796 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 13 Feb 2020 21:52:43 -0800
Subject: [PATCH] help.html: whoops, need to remove the extra links.

---
 basis/help/html/html.factor | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 4105208218..653dd2047b 100644
--- 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] ;