Skip to content

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.

Merge request reports