From 175f605e3557ec97f0b74a4c3c8226ca10be9097 Mon Sep 17 00:00:00 2001 From: Luc Didry Date: Thu, 26 Sep 2024 09:21:52 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A8=20=E2=80=94=20Don=E2=80=99t=20use?= =?UTF-8?q?=20the=20same=20port=20for=20doc=20server=20than=20for=20dev=20?= =?UTF-8?q?argos=20server?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 18d7326..9d6bec1 100644 --- a/Makefile +++ b/Makefile @@ -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