1 files changed, 0 insertions, 19 deletions
diff --git a/docs/html/tip_form.js b/docs/html/tip_form.js
deleted file mode 100644
index 567690ce..00000000
--- a/docs/html/tip_form.js
+++ /dev/null
@@ -1,19 +0,0 @@
-// Tipue 1.63 (modified for pasdoc)
-
-
-// ---------- script properties ----------
-
-
-var results_location = "_tipue_results.html";
-
-
-// ---------- end of script properties ----------
-
-
-function search_form(tip_Form) {
-	if (tip_Form.d.value.length > 0) {
-		document.cookie = 'tid=' + escape(tip_Form.d.value) + '; path=/';
-		document.cookie = 'tin=0; path=/';
-		parent.content.location.href = results_location;
-	}
-}