src/external/gpl3/gcc/dist/libstdc++-v3/doc/html/manual