/gnu/dist/toolchain/texinfo/libtxi/