>>>> (BTW, Gnulib has a new script to automate updates to
>>>> www.gnu.org/software/PROJECT/manual.)
>>>
>>> Right; I assume you mean gendocs.sh.
>>
>> I was thinking about the ‘gnu-web-doc-update’ module.
>
> I'll take a look, thanks.
[guile-user trimmed]
This doesn't look so useful to me. It makes assumptions about the
package that don't hold for Guile: a bootstrap script (our autogen.sh);
manual in doc/manual; and a `make web-manual' Makefile target.
We could make Guile conform to those assumptions, but I'm not sure it's
worth it. Isn't it already pretty easy to use gendocs.sh, copy the
generated files into the web-pages tree, and commit? (I've actually
never used gendocs.sh.)
Certainly for the 1.9/2.0 docs, it's trivial to just do `make html'
followed by `cp -a doc/ref/guile.html ../web-pages/docs/master/'.
Neil
