diff --git a/share/ci/scripts/linux/install_help2man.sh b/share/ci/scripts/linux/install_help2man.sh index 5446c6dd0..3908c746c 100755 --- a/share/ci/scripts/linux/install_help2man.sh +++ b/share/ci/scripts/linux/install_help2man.sh @@ -34,8 +34,11 @@ make echo "Installing help2man..." $SUDO make install +which help2man +find /usr/local -name help2man + # Verify the installation -help2man --version +./help2man --version echo "help2man installed successfully!"