/gnu/usr.bin/texinfo/util/

• ../
• Makefile.in
• deref.c
• fixfonts
• gen-dir-node
• mkinstalldirs
• tex3patch
• texi2dvi
• texindex.c