From 9a406c083a0c51e2dbf50184b074f667d51f4cbf Mon Sep 17 00:00:00 2001 From: Sebastian Rittau Date: Tue, 7 Apr 2026 14:53:26 +0200 Subject: [PATCH] [make] Link the docs index page instead of the directory --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 463d5f17d..ba87fe401 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -29,7 +29,7 @@ build: html: BUILDER = html html: build @echo "Build finished. The HTML pages are in build/html." - @echo "file://$(shell pwd)/build/html" + @echo "file://$(shell pwd)/build/html/index.html" @echo text: BUILDER = text