doc/*.log
doc/version.texinfo
