From 5d428b68dd56b98f023f5360002e3fe4b66a2b63 Mon Sep 17 00:00:00 2001 From: pancho horrillo Date: Fri, 9 May 2025 15:17:06 +0200 Subject: [PATCH] docs: update filename of generated HTML manual (#7010) Since 613dbb35dbc142fd5cadca847f8677e64a502bfa, the manual produces an `index.xhtml` file, instead of a plain `index.html`. --- docs/manual/contributing/guidelines.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/manual/contributing/guidelines.md b/docs/manual/contributing/guidelines.md index 3493ae569..ad59913d2 100644 --- a/docs/manual/contributing/guidelines.md +++ b/docs/manual/contributing/guidelines.md @@ -81,7 +81,7 @@ Manager Git repository: ``` shell $ nix-build -A docs.html -$ xdg-open ./result/share/doc/home-manager/index.html +$ xdg-open ./result/share/doc/home-manager/index.xhtml ``` When you have made changes to a module, it is a good idea to check that