doc/version.tex
