diff --git a/docs/manual/manual.md b/docs/manual/manual.md
index 6cd67210..5860fa22 100644
--- a/docs/manual/manual.md
+++ b/docs/manual/manual.md
@@ -17,15 +17,15 @@ contributing.md
 faq.md
 ```
 
-```{=include=} appendix html:into-file=//options.html
+```{=include=} appendix html:into-file=//options.xhtml
 options.md
 ```
 
-```{=include=} appendix html:into-file=//nixos-options.html
+```{=include=} appendix html:into-file=//nixos-options.xhtml
 nixos-options.md
 ```
 
-```{=include=} appendix html:into-file=//nix-darwin-options.html
+```{=include=} appendix html:into-file=//nix-darwin-options.xhtml
 nix-darwin-options.md
 ```
 ```{=include=} appendix html:into-file=//release-notes.xhtml
diff --git a/tests/modules/misc/manual/manual.nix b/tests/modules/misc/manual/manual.nix
index 3bffc6a3..1e79cdb7 100644
--- a/tests/modules/misc/manual/manual.nix
+++ b/tests/modules/misc/manual/manual.nix
@@ -10,8 +10,10 @@
 
     nmt.script = ''
       assertFileExists home-path/share/doc/home-manager/index.xhtml
-      assertFileExists home-path/share/doc/home-manager/options.html
       assertFileExists home-path/share/doc/home-manager/options.json
+      assertFileExists home-path/share/doc/home-manager/options.xhtml
+      assertFileExists home-path/share/doc/home-manager/nixos-options.xhtml
+      assertFileExists home-path/share/doc/home-manager/nix-darwin-options.xhtml
       assertFileExists home-path/share/doc/home-manager/release-notes.xhtml
       assertFileExists home-path/share/man/man1/home-manager.1
       assertFileExists home-path/share/man/man5/home-configuration.nix.5