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.

---
 Mach/WebHome.mdwn  | 1 -
 Mach/WebIndex.mdwn | 3 ---
 2 files changed, 4 deletions(-)
 delete mode 100644 Mach/WebIndex.mdwn

(limited to 'Mach')

diff --git a/Mach/WebHome.mdwn b/Mach/WebHome.mdwn
index 6b47facb..1d28141f 100644
--- a/Mach/WebHome.mdwn
+++ b/Mach/WebHome.mdwn
@@ -104,7 +104,6 @@ Sporadic efforts by numerous individuals have been made to keep the information
         <p>
         </p>
         <ul>
-          <li>[[WebIndex]] - Alphabetical index </li>
           <li>[[WebDiscuss]] - Content discussions </li>
           <li>[[WebTopicList]] - Index by Topic </li>
         </ul>
diff --git a/Mach/WebIndex.mdwn b/Mach/WebIndex.mdwn
deleted file mode 100644
index 0732324b..00000000
--- a/Mach/WebIndex.mdwn
+++ /dev/null
@@ -1,3 +0,0 @@
-%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}%
-
-See also the faster [[WebTopicList]]
-- 
cgit v1.2.3