diff --git a/nixos/doc/manual/man-configuration.xml b/nixos/doc/manual/man-configuration.xml
deleted file mode 100644
index ddb1408fdcf5..000000000000
--- a/nixos/doc/manual/man-configuration.xml
+++ /dev/null
@@ -1,31 +0,0 @@
-
-
- configuration.nix
- 5
- NixOS
-
-
-
- configuration.nix
- NixOS system configuration specification
-
-
- Description
-
- The file /etc/nixos/configuration.nix contains the
- declarative specification of your NixOS system configuration. The command
- nixos-rebuild takes this file and realises the system
- configuration specified therein.
-
-
-
- Options
-
- You can use the following options in configuration.nix.
-
-
-
-
diff --git a/nixos/doc/manual/man-pages.xml b/nixos/doc/manual/man-pages.xml
index 0186221bddce..52183f1f9ee0 100644
--- a/nixos/doc/manual/man-pages.xml
+++ b/nixos/doc/manual/man-pages.xml
@@ -14,5 +14,33 @@
2007-2022Eelco Dolstra and the Nixpkgs/NixOS contributors
-
+
+
+ configuration.nix
+ 5
+ NixOS
+
+
+
+ configuration.nix
+ NixOS system configuration specification
+
+
+ Description
+
+ The file /etc/nixos/configuration.nix contains the
+ declarative specification of your NixOS system configuration. The command
+ nixos-rebuild takes this file and realises the system
+ configuration specified therein.
+
+
+
+ Options
+
+ You can use the following options in configuration.nix.
+
+
+
+