texinfo/*.html
texinfo/*.info
.dirstamp