Bump up v0.4.9: ignore qualified modules checking if Juvix is not ava…

…ilable
anoma · Dec 5, 2024 · f31f0e4 · f31f0e4
1 parent 441ea2e
commit f31f0e4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/mkdocs_juvix/env.py b/mkdocs_juvix/env.py
@@ -370,7 +370,7 @@ def compute_processed_filepath(
 
     def unqualified_module_name(self, filepath: Path) -> Optional[str]:
         log.debug(f"Computing unqualified module name for {filepath}")
-        if not self.juvix_enabled:
+        if not self.JUVIX_AVAILABLE:
             log.debug("Juvix is not enabled, returning None")
             return None
         fposix: str = filepath.as_posix()
@@ -379,7 +379,7 @@ def unqualified_module_name(self, filepath: Path) -> Optional[str]:
         return os.path.basename(fposix).replace(".juvix.md", "")
 
     def qualified_module_name(self, filepath: Path) -> Optional[str]:
-        if not self.juvix_enabled:
+        if not self.JUVIX_AVAILABLE:
             return None
         absolute_path = filepath.absolute()
         cmd = [self.JUVIX_BIN, "dev", "root", absolute_path.as_posix()]

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