Rebased and added dependency

potassco · Dec 16, 2024 · 19a182a · 19a182a
1 parent 711ffae
commit 19a182a
Show file tree

Hide file tree

Showing 7 changed files with 12 additions and 8 deletions.
diff --git a/docs/community/CHANGES.md b/docs/community/CHANGES.md
@@ -1 +1 @@
-../../CHANGES.md
+../../CHANGES.md
diff --git a/docs/community/CONTRIBUTING.md b/docs/community/CONTRIBUTING.md
@@ -1 +1 @@
-../../CONTRIBUTING.md
+../../CONTRIBUTING.md
diff --git a/docs/community/DEPLOYMENT.md b/docs/community/DEPLOYMENT.md
@@ -1 +1 @@
-../../DEPLOYMENT.md
+../../DEPLOYMENT.md
diff --git a/docs/community/DEVELOPMENT.md b/docs/community/DEVELOPMENT.md
@@ -1 +1 @@
-../../DEVELOPMENT.md
+../../DEVELOPMENT.md
diff --git a/docs/examples/sudoku/index.md → docs/examples/sudoku.md b/docs/examples/sudoku/index.md → docs/examples/sudoku.md
@@ -9,6 +9,9 @@ Generate example documentation
     ``` markdown title="Simple encoding source"
     ::: examples/sudoku/encoding.lp
         handler: asp
+        options:
+            source: true
+
     ```
 
     !!! warning "Don't forget to use `handler: asp`"
@@ -18,4 +21,6 @@ Generate example documentation
 
     ::: examples/sudoku/encoding.lp
         handler: asp
-
+        options:
+            source: true
+            dependency: true
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -121,8 +121,7 @@ nav:
       - Usage: usage.md
   - Examples:
       - examples/index.md
-      - Sudoku:
-          - examples/sudoku/index.md
+      - examples/sudoku.md
   - Reference:
       - reference/index.md
       - Problem: reference/problem/index.md

diff --git a/pyproject.toml b/pyproject.toml
@@ -19,7 +19,7 @@ format = ["black", "isort", "autoflake"]
 lint_pylint = ["pylint"]
 typecheck = ["types-setuptools", "mypy"]
 test = ["coverage[toml]"]
-doc = ["mkdocs", "mkdocs-material", "mkdocstrings[python]"]
+doc = ["mkdocs", "mkdocs-material", "mkdocstrings[python]", "tree-sitter"]
 dev = ["mkdoclingo[test,typecheck,lint_pylint]"]
 
 [project.scripts]