diff --git a/search.html b/search.html deleted file mode 100644 index 67a13d7866..0000000000 --- a/search.html +++ /dev/null @@ -1,205 +0,0 @@ - - - - - -
- - -- Please activate JavaScript to enable the search - functionality. -
-- From here you can search these documents. Enter your search - words into the box below and click "search". Note that the search - function will automatically search for all of the words. Pages - containing fewer words won't appear in the result list. -
- - - - - - -