On Sun, 12 Mar 2023 at 18:46, Sandra Loosemore wrote:
>
> On 3/10/23 16:08, Jonny Grant wrote:
> > docs: update copyright year in libstdc++ manual
> >
> >      gcc/ChangeLog
> >              * libstdc++-v3/doc/xml/faq.xml: update copyright year in 
> > libstdc++ manual
>
> This change looks trivial enough, but IIUC the corresponding HTML file
> also needs to be regenerated when checking in this change, and I confess
> I do not know the recipe for doing that.  :-(  Maybe we should put that
> information, or a pointer to it, in a README file somewhere?  I also
> understand that some libstdc++ manual pieces are generated by Doxygen
> and have no idea how that works either, or what tools one must have
> installed to make any of this work.

It's all thoroughly documented:
https://gcc.gnu.org/onlinedocs/libstdc++/manual/documentation_hacking.html#doc.generation

I was going to take care of the patch on Monday.

Reply via email to