diff options
Diffstat (limited to 'docs/html/search.html')
| -rw-r--r-- | docs/html/search.html | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/docs/html/search.html b/docs/html/search.html new file mode 100644 index 00000000..d5cd8c0e --- /dev/null +++ b/docs/html/search.html @@ -0,0 +1,22 @@ +<!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> |