Re: [bug-gnulib] Re: FYI: gnulib git mirror is up to date

[Bruno Haible]

Jim Meyering wrote:
> How about this instead: we can continue to keep the generated file under
> version control and accessible, but instead of letting its deltas clutter
> up the source code repo, generate it into the savannah web repo instead:
> 
>   http://web.cvs.savannah.gnu.org/viewcvs/gnulib/?root=gnulib
> 
> wdyt?

I'm in favour of it, because it's unusual to have to peek into a source code
repository to get the documentation.

The reason why this file currently lives in the source code repository is
that it generates hyperlinks to the source code, like this:

    #include "<A HREF="lib/timespec.h">timespec.h</A>"

This is also useful for people using a modified copy of gnulib.

If we move the MODULES.html to the web site, the MODULES.html.sh should take
an option that makes it generate hyperlinks to the source code CVS or git
repository (just a different syntax).

Bruno