From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Thu, 16 Apr 2009 10:38:11 -0700 Message-ID: <621112A569DAE948AD25CCDCF1C075331AB4DB@dolly.ntdom.cupdx> From: "Benjamin Huntsman" To: <9fans@9fans.net> Subject: [9fans] sources browser script? Topicbox-Message-UUID: dcfc0a94-ead4-11e9-9d60-3106f5b1d025 Speaking of web servers... Is the script that creates the pages for the source browsing on = plan9.bell-labs.com/sources/ included in the distribution or otherwise = available? It's pretty neat, and may be useful... Thanks in advance! -Ben