Do not overwrite user-supplied data by default when copying (#12647)

This commit is contained in:
Adam Turner
2024-07-22 16:00:16 +01:00
committed by GitHub
parent 9e3f4521db
commit 217f267822
9 changed files with 57 additions and 40 deletions

View File

@@ -1372,6 +1372,7 @@ Options for warning control
* ``ref.footnote``
* ``ref.doc``
* ``ref.python``
* ``misc.copy_overwrite``
* ``misc.highlighting_failure``
* ``toc.circular``
* ``toc.excluded``
@@ -1424,6 +1425,9 @@ Options for warning control
.. versionadded:: 7.3
Added ``toc.no_title``.
.. versionadded:: 8.0
Added ``misc.copy_overwrite``.
Builder options
===============