[Bug libstdc++/104299] Doc: stdio is not the only option in --enable-cstdio=XXX

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104299

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Jonathan Wakely
<r...@gcc.gnu.org>:

https://gcc.gnu.org/g:94d24f1af684d37b9e1c6ad9b54c98609140eb1f

commit r13-7537-g94d24f1af684d37b9e1c6ad9b54c98609140eb1f
Author: Jonathan Wakely <jwak...@redhat.com>
Date:   Thu Jul 6 16:25:47 2023 +0100

    libstdc++: Document --enable-cstdio=stdio_pure [PR104299]

    libstdc++-v3/ChangeLog:

            PR libstdc++/104299
            * doc/xml/manual/configure.xml: Describe stdio_pure argument to
            --enable-cstdio.
            * doc/html/manual/configure.html: Regenerate.

    (cherry picked from commit b90a70984a9beee39b41f842b56926f9db2069ca)