Re: HURD source code at hurd.gnu.org

[Ian Duggan]

> Proposal:
> * GLOBAL makes static HTML from CVS source weekly.
> * All text files of interest (like hurd/doc/navigating) go to hurd.gnu.org
> * When gnu.org become more relaxed about CGIs or equivalent we can think
>   about lxr.

After a quick look at lxr, it seems pretty simpleminded in how it works.
It would probably be possible to pregenerate the pages used by spidering
it with "wget -r" and then rsyncing that to gnu.org periodically.

This would get you the cross-indexed pages served statically, but you
would lose the search features and such.

What are the options for dynamic html at gnu.org? Do they allow php or
anything like that?

--Ian