🔨 — Don’t use the same port for doc server than for dev argos server

This commit is contained in:
Luc Didry 2024-09-26 09:21:52 +02:00
parent 7c822b10c0
commit 175f605e35
No known key found for this signature in database
GPG key ID: EA868E12D0257E3C

View file

@ -17,7 +17,7 @@ docs: cog ## Build the docs
sed -e 's@https://unpkg.com/mermaid[^"]*"@mermaid.min.js"@' -i public/search.html public/genindex.html
sed -e 's@https://unpkg.com/mermaid[^"]*"@../mermaid.min.js"@' -i public/developer/models.html public/developer/overview.html
docs-webserver: docs
python3 -m http.server -d public -b 127.0.0.1
python3 -m http.server -d public -b 127.0.0.1 8001
cog: ## Run cog, to integrate the CLI options to the docs.
venv/bin/cog -r docs/*.md
test: venv ## Run the tests