texinfo/*.html
texinfo/*.info
.dirstamp
*.png
_build/
_exts/
manpages/
