diff --git a/man/html.in b/man/html.in
index 63ad1809ec..32911e0981 100755
--- a/man/html.in
+++ b/man/html.in
@@ -1,5 +1,6 @@
 #!/bin/sh
 # SPDX-License-Identifier: LGPL-2.1-or-later
+
 set -e
 
 if [ -z "$1" ]; then
@@ -22,7 +23,7 @@ fi
 if [ -n "$redirect" ]; then
     ninja -C @BUILD_ROOT@ "man/$redirect"
 
-    fullname=@BUILD_ROOT@/man/"$redirect"
+    fullname=@BUILD_ROOT@"/man/$redirect"
 fi
 
 set -x
diff --git a/man/man.in b/man/man.in
index b4fe39513b..a63312f1f3 100755
--- a/man/man.in
+++ b/man/man.in
@@ -1,7 +1,7 @@
 #!/bin/sh
 # SPDX-License-Identifier: LGPL-2.1-or-later
 
-set -ex
+set -e
 
 if [ -z "$1" ]; then
     echo "Use: $0 page-name (with no section suffix)"
@@ -24,7 +24,7 @@ redirect="$(sed -n -r '1 s|^\.so man[0-9]/(.*)|\1|p' "$fullname")"
 if [ -n "$redirect" ]; then
     ninja -C @BUILD_ROOT@ "man/$redirect"
 
-    fullname=@BUILD_ROOT@/man/"$redirect"
+    fullname=@BUILD_ROOT@"/man/$redirect"
 fi
 
 exec man "$fullname"