web commit by http://per.bothner.myopenid.com/: translate foo/index.html to foo using...

diff --git a/doc/patchqueue/index.html_allowed.mdwn b/doc/patchqueue/index.html_allowed.mdwn
index 4112b012933511c200205044ca298416fddc6aa2..16ff291eebf1ff54b12f436c79576ebb8b84a0b4 100644 (file)
--- a/doc/patchqueue/index.html_allowed.mdwn
+++ b/doc/patchqueue/index.html_allowed.mdwn
@@ -171,6 +171,20 @@ I'll attach an updated and modified version below. --[[Joey]]
      >>> unless you also want to serve the same copy over the Web, which I
      >>> doubt. --[[tuomov]]
 
+* I suggest keeping the links using foo/index.html in the html file, but use
+  JavaScript to fix the links onload time - but only if the protocol is http or https.
+  This provides nice links without the "index.html" when served by a
+  web server, but degrades nicely when using a file: url, or when JavaScript
+  is disabled.  --Per Bothner
+
+         function fixLinks ( ) {
+           var scheme = location.protocol;
+           if (scheme!="http:" && scheme!="https:") return;
+           var links = document.getElementsByTagName("a");
+           for (var i = links.length; --i >= 0; )
+             links[i].href = links[i].href.replace(/[/]index.html/,"");
+         }
+
 * Some of the generated links are missing the trailing / , which is
   innefficient since it leads to a http redirect when clicking on that
   link. Seems to be limited to ".." links, and possibly only to