Re #10133. Making sphinx 1.2 the only version that matters.
Re #10133. Trying to fix windoze build.
Re #10133. Removing debug print.
Merge remote-tracking branch 'origin/feature/10133_sphinx_check'