Improve docs for --enable-libstdcxx-time=rt
authorJonathan Wakely <jwakely@redhat.com>
Thu, 11 Jul 2019 19:43:32 +0000 (20:43 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Thu, 11 Jul 2019 19:43:32 +0000 (20:43 +0100)
commitf6822be73a5c0ca8e5f7af99b2827a14c9f5403e
tree30f0bd222fd92da2b1e66c443618edcbfa77bb7a
parenta90fe12c80a13ffed9d5c775703788275d8b7c42
Improve docs for --enable-libstdcxx-time=rt

* doc/xml/manual/configure.xml: Improve documentation of
--enable-libstdcxx-time option.

From-SVN: r273421
libstdc++-v3/ChangeLog
libstdc++-v3/doc/xml/manual/configure.xml