diff options
Diffstat (limited to 'docs/html/search.html')
| -rw-r--r-- | docs/html/search.html | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/docs/html/search.html b/docs/html/search.html deleted file mode 100644 index d5cd8c0e..00000000 --- a/docs/html/search.html +++ /dev/null @@ -1,22 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/1999/REC-html401-19991224/loose.dtd"> -<html> -<head> -<link rel="StyleSheet" type="text/css" href="fpdoc.css"> -<meta http-equiv="content-type" content="text/html; charset=iso-8859-1"> -<title>Search the HTML documentation</title> -<script language="JavaScript1.3" type="text/javascript" src="tip_form.js"></script> -</head> - -<body class="navigationframe"> - -<h2>Search the documentation</h2> -<table class="navigation wide_list"> - <tr><td><form name="tip_Form" onsubmit="search_form(tip_Form);return false"> - <input type="text" id="search_text" name="d"> - <input type="submit" id="search_submit_button" value="Search"> - </form> - </td></tr> -</table> - -</body> -</html> |