Merge pull request #1812 from migueldvb/sphinx

Use major.minor format in the version string of the sphinx configuration file