# nodoctest1# Sage documentation build configuration file, created by2# sphinx-quickstart on Thu Aug 21 20:15:55 2008.3#4# This file is execfile()d with the current directory set to its containing dir.5#6# The contents of this file are pickled, so don't put values in the namespace7# that aren't pickleable (module imports are okay, they're removed automatically).8#9# All configuration values have a default; values that are commented out10# serve to show the default.1112import os13from sage.env import SAGE_DOC_SRC, SAGE_DOC14from sage_docbuild.conf import release, latex_elements, exclude_patterns15from sage_docbuild.conf import *1617# Add any paths that contain custom static files (such as style sheets),18# relative to this directory to html_static_path. They are copied after the19# builtin static files, so a file named "default.css" will overwrite the20# builtin "default.css". html_common_static_path imported from sage_docbuild.conf21# contains common paths.22html_static_path = [] + html_common_static_path2324ref_src = os.path.join(SAGE_DOC_SRC, 'en', 'reference')25ref_out = os.path.join(SAGE_DOC, 'html', 'en', 'reference')2627# Add small view/edit buttons.28html_theme_options.update({29'source_view_link': os.path.join(source_repository, 'blob/develop/src/doc/en/reference/index.rst'),30'source_edit_link': os.path.join(source_repository, 'edit/develop/src/doc/en/reference/index.rst'),31})3233# General information about the project.34project = "Reference Manual"3536# The name for this set of Sphinx documents. Do not include release info.37html_title = project38html_short_title = project3940# Output file base name for HTML help builder.41htmlhelp_basename = 'reference'4243# Grouping the document tree into LaTeX files. List of tuples44# (source start file, target name, title, author, document class [howto/manual]).45latex_documents = [46('index', 'reference.tex', 'Reference Manual',47'The Sage Development Team', 'manual'),48]4950latex_elements['preamble'] += r'''51% One-column index52\makeatletter53\renewenvironment{theindex}{54\chapter*{\indexname}55\markboth{\MakeUppercase\indexname}{\MakeUppercase\indexname}56\setlength{\parskip}{0.1em}57\relax58\let\item\@idxitem59}{}60\makeatother61'''6263#Ignore all .rst in the _sage subdirectory64exclude_patterns = exclude_patterns + ['_sage']6566multidocs_is_master = True6768# Sorted list of subdocs. Include all subdirectories of ref_src except69# for 'static' and 'templates', and to deal with upgrades: 'sage',70# 'media', and 'other'.71bad_directories = ['static', 'templates', 'sage', 'media', 'other']72multidocs_subdoc_list = sorted([x for x in os.listdir(ref_src)73if os.path.isdir(os.path.join(ref_src, x))74and x not in bad_directories])7576# List of directories, relative to source directory, that shouldn't be77# searched for source files.78exclude_patterns += multidocs_subdoc_list + [79'sage', 'options'80]818283