Changed version.txt to version.tex  (twice)

Changed version.txt to version.tex  (twice).
Merge pull request #752 from Pierre-Yves-Gaillard/patch-4

Changed version.txt to version.tex  (twice)