diff options
| author | Chris Mayo <aklhfex@gmail.com> | 2020-08-05 22:05:49 +0300 |
|---|---|---|
| committer | Chris Mayo <aklhfex@gmail.com> | 2020-08-05 22:05:49 +0300 |
| commit | 71e9a15ccfcd654722fc4290a8dc4493b94113d8 (patch) | |
| tree | f71d8ee38fcfed09fe16c891d52c1afa1c58fa3f /sphinx/ext/graphviz.py | |
| parent | a721631a541db298f7f9807c9db8433e928cb20b (diff) | |
Don't copy graphviz.css when building man pages
_static/graphviz.css is being created alongside the man pages.
Diffstat (limited to 'sphinx/ext/graphviz.py')
| -rw-r--r-- | sphinx/ext/graphviz.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/ext/graphviz.py b/sphinx/ext/graphviz.py index 4a8dd0a4d..d97a7505e 100644 --- a/sphinx/ext/graphviz.py +++ b/sphinx/ext/graphviz.py @@ -385,7 +385,7 @@ def man_visit_graphviz(self: ManualPageTranslator, node: graphviz) -> None: def on_build_finished(app: Sphinx, exc: Exception) -> None: - if exc is None: + if exc is None and app.builder.format == 'html': src = path.join(sphinx.package_dir, 'templates', 'graphviz', 'graphviz.css') dst = path.join(app.outdir, '_static') copy_asset(src, dst) |