summaryrefslogtreecommitdiff
path: root/sphinx/registry.py
diff options
context:
space:
mode:
authorYves Chevallier <yves-chevallier@heig-vd.ch>2020-08-09 11:44:41 +0200
committerYves Chevallier <yves-chevallier@heig-vd.ch>2020-08-09 12:12:24 +0200
commita4487f1762e722b1d7639ec13c531a7c2f8ce889 (patch)
tree04156394740501f3bbd59214e41bd78e4b486384 /sphinx/registry.py
parenta01acc4e1cb5ad561d25e3b6ed3d41254e8a90ad (diff)
downloadsphinx-git-a4487f1762e722b1d7639ec13c531a7c2f8ce889.tar.gz
Check if LaTeX package already added
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 0aec0a9fd..4d1e9eb72 100644
--- a/sphinx/registry.py
+++ b/sphinx/registry.py
@@ -367,7 +367,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))