diff --git a/doc/manual/command-ref/nix-env.xml b/doc/manual/command-ref/nix-env.xml
index 8462cf8a0..d4563ac47 100644
--- a/doc/manual/command-ref/nix-env.xml
+++ b/doc/manual/command-ref/nix-env.xml
@@ -146,8 +146,7 @@ also .
-
-
+ / pathSpecifies the Nix expression (designated below as
the active Nix expression) used by the
@@ -166,8 +165,7 @@ also .
-
-
+ / pathSpecifies the profile to be used by those
operations that operate on a profile (designated below as the
diff --git a/doc/manual/command-ref/opt-common.xml b/doc/manual/command-ref/opt-common.xml
index 18c664d09..a930b4a0d 100644
--- a/doc/manual/command-ref/opt-common.xml
+++ b/doc/manual/command-ref/opt-common.xml
@@ -22,8 +22,7 @@
-
-
+ /
@@ -76,8 +75,7 @@
-
-
+ / By default, output written by builders to standard
output and standard error is echoed to the Nix command's standard
@@ -143,8 +141,7 @@
-
-
+ / Keep going in case of failed builds, to the
greatest extent possible. That is, if building an input of some
@@ -156,8 +153,7 @@
-
-
+ / Specifies that in case of a build failure, the
temporary directory (usually in /tmp) in which