diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/docs/sphinx-build-wrapper | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/docs/sphinx-build-wrapper b/tools/docs/sphinx-build-wrapper index 04eb300dab4a..78ff7ac202ef 100755 --- a/tools/docs/sphinx-build-wrapper +++ b/tools/docs/sphinx-build-wrapper @@ -119,12 +119,15 @@ class SphinxBuilder: return path - def check_rust(self): + def check_rust(self, sphinxdirs): """ Checks if Rust is enabled """ config = os.path.join(self.srctree, ".config") + if not {'.', 'rust'}.intersection(sphinxdirs): + return False + if not os.path.isfile(config): return False @@ -691,7 +694,7 @@ class SphinxBuilder: args.extend(["-D", f"latex_elements.papersize={paper}paper"]) - rustdoc = self.check_rust() + rustdoc = self.check_rust(sphinxdirs_list) if rustdoc: args.extend(["-t", "rustdoc"]) |
