fix: allow failure when moonc is missing

next/_ext/check.py

@@ -8,12 +8,19 @@
 logger = logging.getLogger(__name__)
 
 def setup(app: Sphinx) -> ExtensionMetadata:
-    result = subprocess.run(["moonc", '-v'], capture_output=True)
-    if result.returncode != 0:
+    metadata = {
+        "version": "0.1.0",
+        "parallel_read_safe": True,
+        "parallel_write_safe": True,
+    }
+    try:
+        result = subprocess.run(["moonc", '-v'], capture_output=True, check=True)
+    except (FileNotFoundError, subprocess.CalledProcessError):
         logger.warning("moonbit compiler is missing! No code check performed")
-    else:
-        logger.info(f"moonc version: {result.stdout.decode().strip()}")
-        app.connect("doctree-read", source_read_handler)
+        return metadata
+    logger.info(f"moonc version: {result.stdout.decode().strip()}")
+    app.connect("doctree-read", source_read_handler)
+    return metadata
 
 class Visitor(NodeVisitor):
     def visit_literal_block(self, node : Node):

next/_ext/indent.py

@@ -9,4 +9,6 @@ def __init__(self, s, _):
     def __radd__(self, _):
         return f"```\n{self.s}\n```"
 
-i18n.indent = ModifiedIndent
+i18n.indent = ModifiedIndent
+
+def setup(_app): pass

next/conf.py

@@ -27,7 +27,7 @@
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
 html_theme = 'sphinx_book_theme'
-html_static_path = ['_static']
+# html_static_path = ['_static']
 html_theme_options = {
     "repository_url": "https://github.com/moonbitlang/moonbit-docs/",
     "path_to_docs": "next",