dejagnu.info
dejagnu.dvi
dejagnu.log
dejagnu.aux
dejagnu.toc
dejagnu.??
dejagnu.??s
version.texi
stamp-vti