diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2015-10-10 22:53:38 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2015-10-10 22:53:38 -0400 |
commit | 7240abf0d7c2778a03ee874efd1e52aef3c8654e (patch) | |
tree | c5c43e6266763757e76cf7f1619708f69708186a /doc/conf.py | |
parent | ca1aa3d2a6346e3932fd90107b2303555163d0b2 (diff) | |
download | python-coveragepy-git-7240abf0d7c2778a03ee874efd1e52aef3c8654e.tar.gz |
Remove vestiges of .px doc converters.
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/conf.py b/doc/conf.py index f28a56d9..70ce6987 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -99,8 +99,6 @@ pygments_style = 'sphinx' # -- Options for HTML output --------------------------------------------------- -#html_translator_class = "px_xlator.PxTranslator" - # The theme to use for HTML and HTML Help pages. Major themes that come with # Sphinx are currently 'default' and 'sphinxdoc'. #html_theme = 'default' @@ -179,7 +177,7 @@ html_show_sourcelink = False #html_use_opensearch = '' # If nonempty, this is the file name suffix for HTML files (e.g. ".xhtml"). -#html_file_suffix = '.px' +#html_file_suffix = '.htm' # Output file base name for HTML help builder. htmlhelp_basename = 'coveragepydoc' |