[m-rev.] diff: Use non-minified copies of jQuery and jsTree.

Peter Wang novalazy at gmail.com
Mon Nov 19 11:45:21 AEDT 2018


The Debian packaging system complains about minified files not being
built from non-minified sources so distribute and install the
non-minified sources instead. Fixes Mantis bug #473.

scripts/jquery.slim.js
    Add non-minified copy of jQuery slim 3.3.1 from https://jquery.com/

scripts/jstree.js
scripts/jstree.style.css
    Add non-minified copy of jsTree 3.2.1 from https://www.jstree.com/

scripts/jquery.slim.min.js:
scripts/jstree.min.js:
scripts/jstree.style.min.css:
    Delete old minified files.

LICENSE:
browser/term_to_html.m:
scripts/Mmakefile
    Update paths.

diff --git a/LICENSE b/LICENSE
index 0d9b3b48f..3d8c94fe9 100644
--- a/LICENSE
+++ b/LICENSE
@@ -48,7 +48,7 @@ License version 2:
 The following file is from the jquery project, distributed under the
 following license:
 
-    scripts/jquery.slim.min.js
+    scripts/jquery.slim.js
 
 	Copyright JS Foundation and other contributors, https://js.foundation/
 
@@ -76,8 +76,8 @@ following license:
 The following files are from the jstree project, distributed under the
 following license:
 
-    scripts/jstree.min.js
-    scripts/jstree.style.min.css
+    scripts/jstree.js
+    scripts/jstree.style.css
     scripts/32px.png
     scripts/40px.png
     scripts/throbber.gif
diff --git a/browser/term_to_html.m b/browser/term_to_html.m
index a8cb0ffaa..d6bff99fd 100644
--- a/browser/term_to_html.m
+++ b/browser/term_to_html.m
@@ -92,9 +92,9 @@ make_file_url_prefix(Path0, FilePrefix) :-
 header(FilePrefix) = [
     "<!doctype html>\n",
 
-    "<link rel='stylesheet' href='", FilePrefix, "/jstree.style.min.css' />\n",
-    "<script src='", FilePrefix, "/jquery.slim.min.js'></script>\n",
-    "<script src='", FilePrefix, "/jstree.min.js'></script>\n",
+    "<link rel='stylesheet' href='", FilePrefix, "/jstree.style.css' />\n",
+    "<script src='", FilePrefix, "/jquery.slim.js'></script>\n",
+    "<script src='", FilePrefix, "/jstree.js'></script>\n",
 
     "<link rel='stylesheet' href='", FilePrefix, "/mdb_term_browser.css' />\n",
     "<script src='", FilePrefix, "/mdb_term_browser.js'></script>\n",
diff --git a/scripts/Mmakefile b/scripts/Mmakefile
index cb376273d..1c1d61472 100644
--- a/scripts/Mmakefile
+++ b/scripts/Mmakefile
@@ -57,9 +57,9 @@ DEBUGGER_SCRIPTS = $(CONF_DEBUG_SCRIPTS) 	\
 		mdb_track			\
 		mdb_term_browser.js		\
 		mdb_term_browser.css		\
-		jquery.slim.min.js		\
-		jstree.min.js			\
-		jstree.style.min.css		\
+		jquery.slim.js			\
+		jstree.js			\
+		jstree.style.css		\
 		32px.png			\
 		40px.png			\
 		throbber.gif
[snip]



More information about the reviews mailing list