/gnu/usr.bin/texinfo/misc/