diff options
| author |  Chris Lovering <[email protected]> | 2023-07-14 17:08:21 +0100 |
|---|---|---|
| committer | Chris Lovering <[email protected]> | 2023-07-14 18:40:00 +0100 |
| commit | e76052ffdfbb24893b372b51b68a680b0d15dedc (patch) | |
| tree | f0efb1d81269bbe78e444eb0df8ca11f55cdf681 /docs | |
| parent | Support sending multiple files to paste service at once (diff) | |
Don't swallow exceptions in post_build
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index cc9340ab..683f9e51 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -130,8 +130,8 @@ def skip(*args) -> bool: def post_build(_: Sphinx, exception: Exception) -> None: """Clean up and process files after the build has finished.""" if exception: - # Don't accidentally supress exceptions - raise exception from None + # Don't accidentally suppress exceptions + raise exception build_folder = PROJECT_ROOT / "docs" / "build" main_build = build_folder / "main" |