Yet Another Try at getting the download page to work. This probably won't work, because I'm betting that mir…
[NOTE: Reverted in r1101527.]Yet Another Try at getting the download page to work. This probablywon't work, because I'm betting that mirrors.cgi dumps HTTP headersinto the stream.* site/publish/header.html,* site/publish/footer.html Move these ...* site/publish/getit ...out of here, and then delete this now-unused directory.* site/publish/download.cgi Use wget to dump the header and footer around the mirrors.cgi invocation.* site/publish/download.html Drop the header and footer.