From 924f38d67da915df46eef176dfd01609f4ba583b Mon Sep 17 00:00:00 2001
From: Samuel Bronson <naesten@gmail.com>
Date: Sat, 6 Oct 2012 14:02:25 -0400
Subject: [PATCH] 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
---
collects/scribble/scribble-common.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/collects/scribble/scribble-common.js b/collects/scribble/scribble-common.js
index 09c33909..90bc9b8c 100644
--- 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++)