CI TEST: enable commands

lean-ja · Nov 16, 2023 · 8785c14 · 8785c14
1 parent 8effcd2
commit 8785c14
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/functional-programming-lean/book.toml b/functional-programming-lean/book.toml
@@ -14,8 +14,8 @@ before = ["leanexample", "commands"]
 [preprocessor.leanexample]
 command = "python -X utf8 scripts/example.py"
 
-# [preprocessor.commands]
-# command = "python -X utf8 scripts/projects.py"
+[preprocessor.commands]
+command = "python -X utf8 scripts/projects.py"
 
 [preprocessor.leanversion]
 command = "python -X utf8 scripts/lean-version.py"