Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTakeshi KOMIYA <i.tkomiya@gmail.com>2020-08-14 08:28:58 +0300
committerTakeshi KOMIYA <i.tkomiya@gmail.com>2020-08-14 08:28:58 +0300
commit8412347f5dc129b42e4dd05d7f8921a77fe90918 (patch)
treeba89b3ba9974a52797f8da1580401fa6c9db8cd3 /sphinx/registry.py
parentba0e5d0ec235212bca653c9a0f2dc390ec6a6122 (diff)
parentb2d524d2b23e142fd91c39d862fa04eb4acc3b22 (diff)
Merge branch '3.x'
Diffstat (limited to 'sphinx/registry.py')
-rw-r--r--sphinx/registry.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/sphinx/registry.py b/sphinx/registry.py
index 3dde26b67..3c3d25029 100644
--- a/sphinx/registry.py
+++ b/sphinx/registry.py
@@ -366,7 +366,14 @@ class SphinxComponentRegistry:
logger.debug('[app] adding js_file: %r, %r', filename, attributes)
self.js_files.append((filename, attributes))
+ def has_latex_package(self, name: str) -> bool:
+ packages = self.latex_packages + self.latex_packages_after_hyperref
+ return bool([x for x in packages if x[0] == name])
+
def add_latex_package(self, name: str, options: str, after_hyperref: bool = False) -> None:
+ if self.has_latex_package(name):
+ logger.warn("latex package '%s' already included" % name)
+
logger.debug('[app] adding latex package: %r', name)
if after_hyperref:
self.latex_packages_after_hyperref.append((name, options))