> * 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
* 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
