PREUN

/bin/sh

if [ $1 = 0 ]; then
	/sbin/install-info --delete /usr/share/info/openocd.info.gz /usr/share/info/dir || :
fi

POSTIN

/bin/sh

/sbin/install-info /usr/share/info/openocd.info.gz /usr/share/info/dir || :