add missing version.tex file to the dependency list of the manual