src/gnu/dist/gcc/INSTALL
