PREUN

/bin/sh

for info in _rm ugn -stype; do
    if [ "$1" = "0" ]; then if [[ -f /usr/share/info/gnat${info}.info.xz ]]; then /sbin/install-info /usr/share/info/gnat${info}.info.xz --dir=/usr/share/info/dir --remove ; fi; fi 
done

POSTIN

/bin/sh

for info in _rm ugn -stype; do
    if [[ -f /usr/share/info/gnat${info}.info.xz ]]; then /sbin/install-info /usr/share/info/gnat${info}.info.xz --dir=/usr/share/info/dir; fi 
done