From e395bd48d77d77c392bce43a363349b7448a78af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= Date: Fri, 16 Feb 2024 10:15:10 +0100 Subject: [PATCH] Precise the pip to install for generating the doc --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index e31eeeb6..d21c9bdf 100644 --- a/Makefile +++ b/Makefile @@ -47,6 +47,7 @@ submission-doc: @echo "🚀 Generating schema to $(GENERATED_SCHEMA_FILE)" @poetry run smtcomp dump-json-schema $(GENERATED_SCHEMA_FILE) @echo "🚀 Generating html doc to $(GENERATED_SCHEMA_HTML)" + @echo " Needs 'pip install json-schema-for-humans' generate-schema-doc --expand-buttons --no-link-to-reused-ref $(GENERATED_SCHEMA_FILE) $(GENERATED_SCHEMA_HTML) hugo-server: