src/gnu/dist/texinfo/doc
