diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2019-08-20 22:35:55 +0100 |
---|---|---|
committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-08-20 22:35:55 +0100 |
commit | 9e3c41ab04584009983b80d9c84190453df9c882 (patch) | |
tree | 61c3323d611b3fd149b4dfbf59475af8cac24c22 | |
parent | eb0e8589451aa13b14e0af0f66ba2cabe7698012 (diff) | |
download | gcc-9e3c41ab04584009983b80d9c84190453df9c882.zip gcc-9e3c41ab04584009983b80d9c84190453df9c882.tar.gz gcc-9e3c41ab04584009983b80d9c84190453df9c882.tar.bz2 |
Do not try to process deleted headers with Doxygen
* doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers.
From-SVN: r274758
-rw-r--r-- | libstdc++-v3/ChangeLog | 2 | ||||
-rw-r--r-- | libstdc++-v3/doc/doxygen/user.cfg.in | 11 |
2 files changed, 2 insertions, 11 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 7e2fcf0..d1c651d 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,7 @@ 2019-08-20 Jonathan Wakely <jwakely@redhat.com> + * doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers. + * include/std/numeric (reduce): Fix Doxygen markup. PR libstdc++/91371 diff --git a/libstdc++-v3/doc/doxygen/user.cfg.in b/libstdc++-v3/doc/doxygen/user.cfg.in index 4ac5a0e..dc49399 100644 --- a/libstdc++-v3/doc/doxygen/user.cfg.in +++ b/libstdc++-v3/doc/doxygen/user.cfg.in @@ -886,17 +886,6 @@ INPUT = @srcdir@/doc/doxygen/doxygroups.cc \ include/debug/unordered_map \ include/debug/unordered_set \ include/debug/vector \ - include/profile \ - include/profile/impl \ - include/profile/bitset \ - include/profile/deque \ - include/profile/forward_list \ - include/profile/list \ - include/profile/map \ - include/profile/set \ - include/profile/unordered_map \ - include/profile/unordered_set \ - include/profile/vector \ include/ext/algorithm \ include/ext/cmath \ include/ext/functional \ |