docs: update filename of generated HTML manual (#7010)

Since 613dbb35db, the manual
produces an `index.xhtml` file, instead of a plain `index.html`.
This commit is contained in:
pancho horrillo
2025-05-09 08:17:06 -05:00
committed by GitHub
parent a51598236f
commit 5d428b68dd
+1 -1
View File
@@ -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