aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-11 09:51:09 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-03-13 12:45:31 +0100
commit8cb2b6a00d71572d60d4dcc4e7ec697fd3933389 (patch)
treebab55f0922305450960916d0c7b229fe6e080d0a
parenteea3bb1633cd1efd569b42ca103a99d4a0896c00 (diff)
[Sphinx] Comment out metadata for unused backends
-rwxr-xr-xdoc/sphinx/conf.py34
1 files changed, 17 insertions, 17 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py
index 0b241fd5b..0c8797b0e 100755
--- a/doc/sphinx/conf.py
+++ b/doc/sphinx/conf.py
@@ -261,10 +261,10 @@ latex_additional_files = ["_static/coqnotations.sty"]
# Grouping the document tree into LaTeX files. List of tuples
# (source start file, target name, title,
# author, documentclass [howto, manual, or own class]).
-latex_documents = [
- (master_doc, 'Coq85.tex', 'Coq 8.5 Documentation',
- 'The Coq Development Team (edited by C. Pit-Claudel)', 'manual'),
-]
+# latex_documents = [
+# (master_doc, 'CoqRefMan.tex', 'Coq Documentation',
+# 'The Coq Development Team', 'manual'),
+#]
# The name of an image file (relative to this directory) to place at the top of
# the title page.
@@ -291,10 +291,10 @@ latex_documents = [
# One entry per manual page. List of tuples
# (source start file, name, description, authors, manual section).
-man_pages = [
- (master_doc, 'coq85', 'Coq 8.5 Documentation',
- [author], 1)
-]
+#man_pages = [
+# (master_doc, 'coq', 'Coq Documentation',
+# [author], 1)
+#]
# If true, show URL addresses after external links.
#man_show_urls = False
@@ -305,11 +305,11 @@ man_pages = [
# Grouping the document tree into Texinfo files. List of tuples
# (source start file, target name, title, author,
# dir menu entry, description, category)
-texinfo_documents = [
- (master_doc, 'Coq85', 'Coq 8.5 Documentation',
- author, 'Coq85', 'One line description of project.',
- 'Miscellaneous'),
-]
+#texinfo_documents = [
+# (master_doc, 'Coq', 'Coq Documentation',
+# author, 'Coq', 'One line description of project.',
+# 'Miscellaneous'),
+#]
# Documents to append as an appendix to all manuals.
#texinfo_appendices = []
@@ -327,10 +327,10 @@ texinfo_documents = [
# -- Options for Epub output ----------------------------------------------
# Bibliographic Dublin Core info.
-epub_title = project
-epub_author = author
-epub_publisher = author
-epub_copyright = copyright
+#epub_title = project
+#epub_author = author
+#epub_publisher = author
+#epub_copyright = copyright
# The basename for the epub file. It defaults to the project name.
#epub_basename = project