Include extension so browsing on GitHub works

php · Oct 14, 2024 · 0f6ce84 · 0f6ce84
1 parent 2f4333f
commit 0f6ce84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/local-setup.md b/docs/local-setup.md
@@ -97,7 +97,7 @@ $ php phd/render.php --docbook doc-base/.manual.xml --package PHP --format xhtml
 $ open output/php-chunked-xhtml/index.html
 ```
 
-To build the version for the website (with a [local web setup](local-web-setup)):
+To build the version for the website (with a [local web setup](local-web-setup.md)):
 
 ```sh
 $ php phd/render.php --docbook doc-base/.manual.xml --package PHP --format php