PREUN
/bin/sh
[ -f /usr/share/info/ghdl.info.gz ] && [ $1 = 0 ] && \ /sbin/install-info --delete /usr/share/info/ghdl.info.gz /usr/share/info/dir || :
POSTIN
/bin/sh
[ -f /usr/share/info/ghdl.info.gz ] && \ /sbin/install-info /usr/share/info/ghdl.info.gz /usr/share/info/dir || :