diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:15:17 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 16:15:17 +0200 |
| commit | d7a001b72a1e9c46839f036e4d2c78d8512be714 (patch) | |
| tree | c501d4121a483e76fbdb1e9a45e9e5fb0dbbea3d /Mach | |
| parent | 14e1b40f645a6c14b91374f736b2c2f856d69e23 (diff) | |
Remove WebIndex.
Diffstat (limited to 'Mach')
| -rw-r--r-- | Mach/WebHome.mdwn | 1 | ||||
| -rw-r--r-- | Mach/WebIndex.mdwn | 3 |
2 files changed, 0 insertions, 4 deletions
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]] |