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.

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

(limited to 'Hug')

diff --git a/Hug/WebHome.mdwn b/Hug/WebHome.mdwn
index a6d7d501..076af40c 100644
--- a/Hug/WebHome.mdwn
+++ b/Hug/WebHome.mdwn
@@ -31,8 +31,6 @@ Welcome to the home of **%WIKITOOLNAME%.%WEB%**. This is a web-based collaborati
       <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 <span style="background:"><font color="">Web Search</font></span><a href="http://LOCATION/WebSearch">?</a></font><br />
         <p> Here, Web refers to the Main Web. </p>
         <p>
         </p>
diff --git a/Hug/WebSearch.mdwn b/Hug/WebSearch.mdwn
deleted file mode 100644
index b6d43d86..00000000
--- a/Hug/WebSearch.mdwn
+++ /dev/null
@@ -1 +0,0 @@
-%INCLUDE\{"%TWIKIWEB%.WebSearch"\}%
-- 
cgit v1.2.3