From 78c21b5ee4954c53404aa10658c7afe2890cfc47 Mon Sep 17 00:00:00 2001
From: Jonathan Cubides <jonathan.cubides@uib.no>
Date: Tue, 15 Oct 2024 22:34:54 -0500
Subject: [PATCH] [CI] use --anoma-setup to render the main website

---
 .github/workflows/ci.yml | 2 +-
 mkdocs_juvix/plugin.py   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 31f2b96..3e2280b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -67,7 +67,7 @@ jobs:
         run: poetry run pytest
       - name: Create MkDocs Project
         run: |
-          juvix-mkdocs new -f -n --no-run-server --no-open --project-name my-juvix-project
+          juvix-mkdocs new -f -n --no-run-server --no-open --project-name my-juvix-project --anoma-setup
       - name: Build MkDocs Project
         run: juvix-mkdocs build -p my-juvix-project
         env:
diff --git a/mkdocs_juvix/plugin.py b/mkdocs_juvix/plugin.py
index bd3e311..d10c1b9 100644
--- a/mkdocs_juvix/plugin.py
+++ b/mkdocs_juvix/plugin.py
@@ -465,6 +465,7 @@ def on_page_markdown(
 
         metadata = page.meta
         if metadata.get("isabelle", False):
+            log.error("Isabelle is not supported yet")
             # isabelle_html = self._generate_isabelle_html(page.file.abs_src_path)
             return markdown
         return markdown