Build options#

This module defines options for building Sage documentation.