From 12dc62d138f62f6aa6abf8b9a6910918251ad837 Mon Sep 17 00:00:00 2001 From: Florian Loitsch Date: Fri, 4 Oct 2024 09:38:29 +0200 Subject: [PATCH] Update toitdoc html. (#2559) The toitdoc code in the repository and the web-page were not in sync. -> Nothing worked. --- tools/toitdoc/serve.toit | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/toitdoc/serve.toit b/tools/toitdoc/serve.toit index ea258b7f8..684220136 100644 --- a/tools/toitdoc/serve.toit +++ b/tools/toitdoc/serve.toit @@ -22,7 +22,7 @@ import http.server import net import system -TOITDOC_WEB_VERSION ::= "v0.2.11" +TOITDOC_WEB_VERSION ::= "v0.3.0" TOITDOC_WEB_URI ::= "https://github.com/toitware/web-toitdocs/releases/download/$TOITDOC_WEB_VERSION/build.tar.gz" get-content-type-from-extension path/string -> string: @@ -80,7 +80,7 @@ serve docs-path/string --port/int: resource-path/string := ? if resource == "/": resource-path = "$web-dir/index.html" - else if resource == "/sdk/latest.json": + else if resource == "/toitdoc.json": resource-path = docs-path else: resource-path = "$web-dir$resource"