libstdc++: Fix misnamed configure option in manual
authorJonathan Wakely <jwakely@redhat.com>
Thu, 24 Sep 2020 16:33:16 +0000 (17:33 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Thu, 24 Sep 2020 16:35:02 +0000 (17:35 +0100)
commit61f7995398a719f2ff91d07e8f8ed6d4413db697
tree46745e928e65f96cdd22c824350bb457ad392f89
parent637ad78cdf4026234308973bb87839f10f3d39cf
libstdc++: Fix misnamed configure option in manual

libstdc++-v3/ChangeLog:

* doc/xml/manual/configure.xml: Correct name of option.
* doc/html/*: Regenerate.
libstdc++-v3/doc/html/manual/configure.html
libstdc++-v3/doc/html/manual/status.html
libstdc++-v3/doc/xml/manual/configure.xml