summaryrefslogtreecommitdiff
path: root/Mig
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-12 16:15:17 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-12 16:15:17 +0200
commitd7a001b72a1e9c46839f036e4d2c78d8512be714 (patch)
treec501d4121a483e76fbdb1e9a45e9e5fb0dbbea3d /Mig
parent14e1b40f645a6c14b91374f736b2c2f856d69e23 (diff)
Remove WebIndex.
Diffstat (limited to 'Mig')
-rw-r--r--Mig/WebHome.mdwn16
-rw-r--r--Mig/WebIndex.mdwn3
2 files changed, 0 insertions, 19 deletions
diff --git a/Mig/WebHome.mdwn b/Mig/WebHome.mdwn
index ad2f0bf1..0d1d7368 100644
--- a/Mig/WebHome.mdwn
+++ b/Mig/WebHome.mdwn
@@ -22,22 +22,6 @@ The [[MachInterfaceGenerator]] (MIG) is a program which generates inter-process
<p>
</p>
</td>
- <td>
- <p>
- </p>
- </td>
- <td valign="top" width="35%">
- <p>
- </p>
- <p> Currently, Web refers to the Mig Web. </p>
- <p>
- </p>
- <ul>
- <li>[[WebIndex]] - alphabetical </li>
- </ul>
- <p>
- </p>
- </td>
</tr>
</table>
</form>
diff --git a/Mig/WebIndex.mdwn b/Mig/WebIndex.mdwn
deleted file mode 100644
index 0732324b..00000000
--- a/Mig/WebIndex.mdwn
+++ /dev/null
@@ -1,3 +0,0 @@
-%SEARCH\{"\\.\*" scope="topic" regex="on" nosearch="on"\}%
-
-See also the faster [[WebTopicList]]