Build options

This module defines options for building Sage documentation.