diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-08-14 08:28:58 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-08-14 08:28:58 +0300 |
commit | 8412347f5dc129b42e4dd05d7f8921a77fe90918 (patch) | |
tree | ba89b3ba9974a52797f8da1580401fa6c9db8cd3 /sphinx/registry.py | |
parent | ba0e5d0ec235212bca653c9a0f2dc390ec6a6122 (diff) | |
parent | b2d524d2b23e142fd91c39d862fa04eb4acc3b22 (diff) |
Merge branch '3.x'
Diffstat (limited to 'sphinx/registry.py')
-rw-r--r-- | sphinx/registry.py | 7 |
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)) |