commit 924f38d67da915df46eef176dfd01609f4ba583b
parent d5a9bdadb801b56243e2ad10d1aee655a195fc86
Author: Samuel Bronson <naesten@gmail.com>
Date: Sat, 6 Oct 2012 14:02:25 -0400
Misc improvements to the doc search JavaScript code
* Stamp "plt-index.js" with the path of its generator.
* Fix most of the "use strict" and js2-mode warnings in scribble's
JavaScript.
* Some code improvements in the generating code too.
(With some edits by Eli.)
original commit: a624d8de1519a8d69b54aa2f1a08b31d0b03e004
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
@@ -96,7 +96,7 @@ function GotoPLTRoot(ver, relative) {
// Utilities ------------------------------------------------------------------
-normalize_rxs = [/\/\/+/g, /\/\.(\/|$)/, /\/[^\/]*\/\.\.(\/|$)/];
+var normalize_rxs = [/\/\/+/g, /\/\.(\/|$)/, /\/[^\/]*\/\.\.(\/|$)/];
function NormalizePath(path) {
var tmp, i;
for (i = 0; i < normalize_rxs.length; i++)