All the sources are already available via cvsweb on savannah. That
meets your fundamental stated goals of the source being easily available.
I am a total fan of glimpse indexing for my own source trees. Having a
web-searchable source index would be a fine addition to the web site.
There are various things out there for precisely the purpose you hand in
mind, like lxr.
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
