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

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 \