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.