From d7a001b72a1e9c46839f036e4d2c78d8512be714 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sun, 12 Aug 2007 16:15:17 +0200
Subject: Remove WebIndex.

---
 Hug/WebHome.mdwn  | 14 --------------
 Hug/WebIndex.mdwn |  3 ---
 2 files changed, 17 deletions(-)
 delete mode 100644 Hug/WebIndex.mdwn

(limited to 'Hug')

diff --git a/Hug/WebHome.mdwn b/Hug/WebHome.mdwn
index 79a44659..eb1afa85 100644
--- a/Hug/WebHome.mdwn
+++ b/Hug/WebHome.mdwn
@@ -28,20 +28,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati
         <p>
         </p>
       </td>
-      <td valign="top" width="35%">
-        <p>
-        </p>
-        <p> Here, Web refers to the Main Web. </p>
-        <p>
-        </p>
-        <ul>
-          <li><span style="background:"><font color="">Web Index</font></span><a href="http://LOCATION/WebIndex">?</a> - alphabetical </li>
-            </ul>
-          </li>
-        </ul>
-        <p>
-        </p>
-      </td>
     </tr>
   </table>
 </form>
diff --git a/Hug/WebIndex.mdwn b/Hug/WebIndex.mdwn
deleted file mode 100644
index 0732324b..00000000
--- a/Hug/WebIndex.mdwn
+++ /dev/null
@@ -1,3 +0,0 @@
-%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}%
-
-See also the faster [[WebTopicList]]
-- 
cgit v1.2.3