summaryrefslogtreecommitdiff
path: root/Distrib
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:49:12 +0200
committerThomas Schwinge <tschwinge@gnu.org>2007-08-12 15:49:12 +0200
commitb0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 (patch)
tree8a3bd249f5d3b94044b39b946744134fbcc24bb4 /Distrib
parent8aa036e7556a8c54a08c6e19cbe93481da0bb575 (diff)
Remove WebSearch.
Diffstat (limited to 'Distrib')
-rw-r--r--Distrib/WebDiscuss.mdwn1
-rw-r--r--Distrib/WebHome.mdwn2
-rw-r--r--Distrib/WebSearch.mdwn1
3 files changed, 0 insertions, 4 deletions
diff --git a/Distrib/WebDiscuss.mdwn b/Distrib/WebDiscuss.mdwn
index d2dc8756..99f93c8b 100644
--- a/Distrib/WebDiscuss.mdwn
+++ b/Distrib/WebDiscuss.mdwn
@@ -6,7 +6,6 @@ Where should all this stuff go?
<form action="%SCRIPTURLPATH%/search%SCRIPTSUFFIX%/%WEB%/SearchResult">
<ul>
- <li><input name="search" size="32" type="text" /> <input type="submit" value="Search" />    (More options in [[WebSearch]]) </li>
<li>[[WebChanges]]: Find out recent modifications to the %WIKITOOLNAME%.%WEB% web. </li>
<li>[[WebIndex]]: Display all %WIKITOOLNAME%.%WEB% topics in alphabetical order. See also the faster [[WebTopicList]]</li>
<li> %NOTIFYTOPIC%: Subscribe to be automatically notified when something changes in the %WIKITOOLNAME%.%WEB% web. </li>
diff --git a/Distrib/WebHome.mdwn b/Distrib/WebHome.mdwn
index 333ad1bd..49afcf23 100644
--- a/Distrib/WebHome.mdwn
+++ b/Distrib/WebHome.mdwn
@@ -102,8 +102,6 @@ This web is about the distribution of software: where and how to get it.
<td valign="top" width="35%">
<p>
</p>
- <p>
- </p><input name="search" size="20" type="text" /> <input type="submit" value="Search %WEB%" /><br /><font size="-1">More search options in [[WebSearch]]</font><br />
<p> Currently, Web refers to the Distrib Web. </p>
<p>
</p>
diff --git a/Distrib/WebSearch.mdwn b/Distrib/WebSearch.mdwn
deleted file mode 100644
index b6d43d86..00000000
--- a/Distrib/WebSearch.mdwn
+++ /dev/null
@@ -1 +0,0 @@
-%INCLUDE\{"%TWIKIWEB%.WebSearch"\}%