From d2b58e5b9dde8e3bf151cedd54cb131986eabc06 Mon Sep 17 00:00:00 2001
From: Sebastian Rittau <srittau@rittau.biz>
Date: Mon, 17 Mar 2025 10:53:11 +0100
Subject: [PATCH] Print URL after building docs

This makes it easier to open the generated HTML docs. In some terminal
emulators, it allows the user to click the link instead of having to
navigate to the build directory in the web browser.
---
 docs/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/Makefile b/docs/Makefile
index 9c7bc939c..463d5f17d 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -29,6 +29,8 @@ build:
 html: BUILDER = html
 html: build
 	@echo "Build finished. The HTML pages are in build/html."
+	@echo "file://$(shell pwd)/build/html"
+	@echo
 
 text: BUILDER = text
 text: build