Do not try to process deleted headers with Doxygen

Message ID 20190820213633.GA1456@redhat.com
State New
Headers show
Series
  • Do not try to process deleted headers with Doxygen
Related show

Commit Message

Jonathan Wakely Aug. 20, 2019, 9:36 p.m.
* doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers.

Committed to trunk.
commit 47af321610e47dfcf0179b71c50b0937ab0c19d9
Author: redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Tue Aug 20 21:35:55 2019 +0000

    Do not try to process deleted headers with Doxygen
    
            * doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers.
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@274758 138bc75d-0d04-0410-961f-82ee72b054a4

Patch

diff --git a/libstdc++-v3/doc/doxygen/user.cfg.in b/libstdc++-v3/doc/doxygen/user.cfg.in
index 4ac5a0e39b2..dc493998a1a 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 \