/gnu/usr.bin/texinfo/misc/
../
Makefile
Makefile.in
NEWS
README
deref.c
fixfonts
mkinstalldirs
tex3patch
texi2dvi
texindex.c