So is the change here just removing these lines:
# Note: This assumes that sphinx-build is called as in the makefile like this:
# /usr/bin/sphinx-build -b man <sphinx_opts>
if sys.argv[2] == 'man':
Adding the extra blank line, and unindenting everything? If so, that makes sense to me.
So is the change here just removing these lines: sphinx- build -b man <sphinx_opts>
# Note: This assumes that sphinx-build is called as in the makefile like this:
# /usr/bin/
if sys.argv[2] == 'man':
Adding the extra blank line, and unindenting everything? If so, that makes sense to me.