diff --git a/docs/Makefile b/docs/Makefile
index 9c7bc939..463d5f17 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