Remove Profile Mode, deprecated since GCC 7.1

[thirdparty/gcc.git] / libstdc++-v3 / doc / Makefile.in

diff --git a/libstdc++-v3/doc/Makefile.in b/libstdc++-v3/doc/Makefile.in
index 12be1f7e25480c3437d4c07aea022161c5819be1..5fee1b2d310d951a009c87282ec05662ae25978e 100644 (file)
--- a/libstdc++-v3/doc/Makefile.in
+++ b/libstdc++-v3/doc/Makefile.in
@@ -477,7 +477,6 @@ xml_sources_manual = \
        ${xml_dir}/manual/policy_data_structures.xml \
        ${xml_dir}/manual/policy_data_structures_biblio.xml \
        ${xml_dir}/manual/prerequisites.xml \
-       ${xml_dir}/manual/profile_mode.xml \
        ${xml_dir}/manual/shared_ptr.xml \
        ${xml_dir}/manual/spine.xml \
        ${xml_dir}/manual/status_cxx1998.xml \