Skip to content

Commit

Permalink
Precise the pip to install for generating the doc
Browse files Browse the repository at this point in the history
  • Loading branch information
@bobot
bobot committed Feb 16, 2024
1 parent f4970a6 commit e395bd4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit e395bd4

Please sign in to comment.