diff --git a/doc/manual/options-to-docbook.xsl b/doc/manual/options-to-docbook.xsl
index 0584081fef1..adc6c93c722 100644
--- a/doc/manual/options-to-docbook.xsl
+++ b/doc/manual/options-to-docbook.xsl
@@ -12,7 +12,7 @@
-
+
@@ -24,7 +24,7 @@
@@ -52,7 +52,7 @@
-
+
Example:
@@ -82,7 +82,7 @@
-
+
@@ -98,23 +98,23 @@
""
-
-
+
+
-
-
+
+
true
-
-
+
+
false
-
-
+
+
[
@@ -123,8 +123,8 @@
]
-
-
+
+
{
@@ -134,8 +134,8 @@
}
-
-
+
+
@@ -158,8 +158,8 @@
https://github.com/NixOS/nixos/blob//modules/
-
- https://github.com/NixOS/charon/blob//nix/
+
+ https://github.com/NixOS/nixops/blob//nix/
file://
@@ -172,8 +172,8 @@
<nixos/modules/>
-
- <charon/>
+
+ <nixops/>
@@ -182,6 +182,6 @@
-
-
+
+