Allow user selection of sphinx builder in python:sphinx template
This MR adds a BUILDER
variable to the .python:sphinx
template (default "html"
), allowing the user to select the builder to use with sphinx-build
. I like to use dirhtml these days.