Re: Guile web page docs

[Ludovic Courtès]

Hi,

Neil Jerram <address@hidden> writes:

>>>>> (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.

Hmm, OK.  I’ve never actually used it and I didn’t know that.

> We could make Guile conform to those assumptions, but I'm not sure it's
> worth it.

Agreed.

> 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.)

That’s what I’ve been doing so far.  It’s slightly tedious because run
gendocs.sh with the right parameters, have a cvs checkout, copy files
there, add the new ones (and ideally remove the obsolete ones), then
check-in and wait for ages.

Maybe that actually calls for a ‘web-manual’ makefile target?  :-)

Thanks,
Ludo’.