From 8785c148a50ef9c6f618521049814b2654eb4fb6 Mon Sep 17 00:00:00 2001 From: Seasawher Date: Thu, 16 Nov 2023 13:43:18 +0900 Subject: [PATCH] CI TEST: enable `commands` --- functional-programming-lean/book.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/functional-programming-lean/book.toml b/functional-programming-lean/book.toml index 03619153..db7573c4 100644 --- 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"