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 || :