#!/bin/sh
# SPDX-License-Identifier: LGPL-2.1-or-later
+
set -e
if [ -z "$1" ]; then
if [ -n "$redirect" ]; then
ninja -C @BUILD_ROOT@ "man/$redirect"
- fullname=@BUILD_ROOT@/man/"$redirect"
+ fullname=@BUILD_ROOT@"/man/$redirect"
fi
set -x
#!/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)"
if [ -n "$redirect" ]; then
ninja -C @BUILD_ROOT@ "man/$redirect"
- fullname=@BUILD_ROOT@/man/"$redirect"
+ fullname=@BUILD_ROOT@"/man/$redirect"
fi
exec man "$fullname"