Remove --non-recursive option from juvix isabelle for now

anoma · Oct 17, 2024 · 1b51ac8 · 1b51ac8
1 parent 3737de5
commit 1b51ac8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/mkdocs_juvix/juvix_markdown.py b/mkdocs_juvix/juvix_markdown.py
@@ -806,7 +806,7 @@ def _run_juvix_isabelle(self, _filepath: Path) -> Optional[str]:
             self.JUVIX_BIN,
             "--log-level=error",
             "isabelle",
-            "--non-recursive",
+            # "--non-recursive", # TODO: wait for v0.6.7
             "--stdout",
             "--output-dir",
             self.CACHE_ISABELLE_OUTPUT_PATH.as_posix(),

diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "mkdocs-juvix-plugin"
-version = "0.3.0"
+version = "0.3.1"
 description = "Support for Juvix Markdown files in MkDocs"
 authors = ["Jonathan Prieto-Cubides, and GitHub contributors"]
 license = "MIT"