From b1790ab815093c038e961f5ce304c185de46e2a6 Mon Sep 17 00:00:00 2001 From: Adam Turner <9087854+aa-turner@users.noreply.github.com> Date: Thu, 17 Aug 2023 19:06:54 +0100 Subject: [PATCH] Remove duplicate HTML builder check --- src/furo/__init__.py | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/furo/__init__.py b/src/furo/__init__.py index 674001d6..e940d114 100644 --- a/src/furo/__init__.py +++ b/src/furo/__init__.py @@ -173,13 +173,6 @@ def _html_page_context( context: Dict[str, Any], doctree: Any, ) -> None: - if not isinstance(app.builder, StandaloneHTMLBuilder): - raise Exception( - "Furo is being used with a non-HTML builder. " - "If you're seeing this error, it is a symptom of a mistake in your " - "configuration." - ) - if "css_files" in context: if "_static/styles/furo.css" not in [c.filename for c in context["css_files"]]: raise Exception(