/gnu/usr.bin/texinfo/

• ../
• Makefile
• Makefile.inc
• common
• info
• infokey
• install-info
• makedoc
• makeinfo
• patches
• texi2dvi
• texindex