diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:49:12 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-12 15:49:12 +0200 |
commit | b0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 (patch) | |
tree | 8a3bd249f5d3b94044b39b946744134fbcc24bb4 /Distrib | |
parent | 8aa036e7556a8c54a08c6e19cbe93481da0bb575 (diff) |
Remove WebSearch.
Diffstat (limited to 'Distrib')
-rw-r--r-- | Distrib/WebDiscuss.mdwn | 1 | ||||
-rw-r--r-- | Distrib/WebHome.mdwn | 2 | ||||
-rw-r--r-- | Distrib/WebSearch.mdwn | 1 |
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"\}% |