Re: [PATCH] Update MODULES.html.sh

> * MODULES.html.sh: Add some recently-added modules. Thanks, Paul. > Assuming MODULES.html.sh is still useful, > at some point a more-complete update should be done. While I refer more people to the gnulib.texi documentation than to MODULES.html, I still think that MODULES.html is useful to get

[PATCH] Update MODULES.html.sh

* MODULES.html.sh: Add some recently-added modules. This is by no means a complete update. I needed to point to something about ‘time’ so I added ‘time’, and then added more modules until I ran out of, errr, time. Assuming MODULES.html.sh is still useful, at some point a more-complete update shoul