Release Manager · Release Manager · commit d3deb285e507 · 2024-02-11T17:03:42.000+01:00
gh-37269: sage_docbuild: add needs sphinx tags Add "needs sphinx" tags to some tests in `src/sage_docbuild` so there is no failure when sphinx is not installed in the system. See: #37263 (comment) ### 📝 Checklist - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. URL: #37269 Reported by: Gonzalo Tornaría Reviewer(s):
diff --git a/src/sage_docbuild/__main__.py b/src/sage_docbuild/__main__.py
@@ -1,3 +1,4 @@
+# sage.doctest: needs sphinx
 r"""
 Sage docbuild main
 
diff --git a/src/sage_docbuild/builders.py b/src/sage_docbuild/builders.py
@@ -1,3 +1,4 @@
+# sage.doctest: needs sphinx
 """
 Documentation builders
 
diff --git a/src/sage_docbuild/sphinxbuild.py b/src/sage_docbuild/sphinxbuild.py
@@ -1,4 +1,4 @@
-# -*- coding: utf-8 -*-
+# sage.doctest: needs sphinx
 r"""
 Sphinx build script
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# sage.doctest: needs sphinx`
`1`	`2`	`r"""`
`2`	`3`	`Sage docbuild main`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# sage.doctest: needs sphinx`
`1`	`2`	`"""`
`2`	`3`	`Documentation builders`
`3`	`4`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# -- coding: utf-8 --`
	`1`	`+# sage.doctest: needs sphinx`
`2`	`2`	`r"""`
`3`	`3`	`Sphinx build script`
`4`	`4`