Build options

This module defines options for building Sage documentation.

class sage_docbuild.build_options.BuildOptions(**kwargs)

Bases: Namespace

output_dir: Path

output_dir_given: bool

Whether output_dir was given on the command line, as opposed to being filled in with the default. Single-file builds use their own default, so that they never write into the installed documentation.

source_dir: Path