From b0ba06fd4d46d1b71a9f7d9d8bab8ecf3ab64cd5 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sun, 12 Aug 2007 15:49:12 +0200
Subject: Remove WebSearch.

---
 _default/WebHome.mdwn   | 1 -
 _default/WebSearch.mdwn | 1 -
 2 files changed, 2 deletions(-)
 delete mode 100644 _default/WebSearch.mdwn

(limited to '_default')

diff --git a/_default/WebHome.mdwn b/_default/WebHome.mdwn
index a7f98473..2c00610d 100644
--- a/_default/WebHome.mdwn
+++ b/_default/WebHome.mdwn
@@ -7,7 +7,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati
 
 <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/_default/WebSearch.mdwn b/_default/WebSearch.mdwn
deleted file mode 100644
index b6d43d86..00000000
--- a/_default/WebSearch.mdwn
+++ /dev/null
@@ -1 +0,0 @@
-%INCLUDE\{"%TWIKIWEB%.WebSearch"\}%
-- 
cgit v1.2.3