(DIR) CVS
 (TXT) texinfo.tex