diff options
Diffstat (limited to '')
| -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"  |