diff --git a/ci/release/_install.sh b/ci/release/_install.sh index 7afd53f1e..7406eca3f 100755 --- a/ci/release/_install.sh +++ b/ci/release/_install.sh @@ -194,7 +194,7 @@ EOF if ! manpath | grep -qF "$PREFIX/share/man"; then logcat >&2 <&2 <