slackbuilds_ponce/development/gprbuild/doinst.sh
Zhu Qun-Ying 2229feb3a6 development/gprbuild: Added (advanced build system).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2024-10-17 16:17:24 +07:00

3 lines
126 B
Bash

if [ -x /usr/bin/install-info ]; then
/usr/bin/install-info --info-dir=usr/info usr/info/gprbuild_ug.info.gz &> /dev/null
fi