Re: [Bug-gnulib] MODULES.html replaces MODULES.txt

[Karl Berry]

    Karl, can you ensure that MODULES.html is regenerated from
    MODULES.html.sh on a daily basis by your cron jobs?

I set this up (on my machine at home, since that's where I have the
nightly cvs update in the first place).  Can you change MODULES.html.sh
to ignore files which end in ~?  CVS has a habit of creating them.  I
didn't know the way you'd prefer to do that.

Also, I don't see the actual module names in the resulting MODULES.html?
Having a simple list of modules up front, with links to their
definitions, would be a great help (to me anyway) of knowing what's in
gnulib.  Plus the list of "lone files" that it already generates.
Wdyt?

Thanks,
karl