Remove w3data.js from this repo

It's been migrated fully to graphviz.gitlab.io docs repo.

No more references in this repo.

diff --git a/doc/infosrc/Makefile b/doc/infosrc/Makefile
index 07ea5951c874a8fe9f1ca39947674b962d580c5a..eff3d1f24d6ae11585d8392690aa4fc73b73d18a 100644 (file)
--- a/doc/infosrc/Makefile
+++ b/doc/infosrc/Makefile
@@ -84,7 +84,7 @@ GIF = $(SGIF) $(AGIF) $(MGIF) $(A2GIF) $(XGIF)
 DOTS = html2.gv html3.gv html4.gv tee.gv
 HTML = colors.html lang.html shapes.html \
        arrows.html schema.html
-MISC = graphviz_json_schema.json w3data.js
+MISC = graphviz_json_schema.json
 INSTALL_FILES = $(HTML) $(DOTS) $(SGIF) $(AGIF) $(A2GIF) $(MGIF) $(XGIF) $(MPNG) $(MISC)
 
 .SUFFIXES: .gv .gif .dot .png

diff --git a/doc/infosrc/w3data.js b/doc/infosrc/w3data.js
deleted file mode 100644 (file)
index 4038c40..0000000
--- a/doc/infosrc/w3data.js
+++ /dev/null
@@ -1,22 +0,0 @@
-/* W3Data ver 1.31 by W3Schools.com */\r
-function w3IncludeHTML() {\r
-  var z, i, elmnt, file, xhttp;\r
-  z = document.getElementsByTagName("*");\r
-  for (i = 0; i < z.length; i++) {\r
-    elmnt = z[i];\r
-    file = elmnt.getAttribute("w3-include-html");\r
-    if (file) {\r
-      xhttp = new XMLHttpRequest();\r
-      xhttp.onreadystatechange = function() {\r
-        if (this.readyState == 4 && this.status == 200) {\r
-          elmnt.innerHTML = this.responseText;\r
-          elmnt.removeAttribute("w3-include-html");\r
-          w3IncludeHTML();\r
-        }\r
-      }      \r
-      xhttp.open("GET", file, true);\r
-      xhttp.send();\r
-      return;\r
-    }\r
-  }\r
-}\r