PREUN

/bin/sh

if [ "$1" = 0 ]; then
    /sbin/install-info --delete //usr/info/time.info.bz2 //usr/info/dir \
	--entry="* time: (time).		GNU time Utility" 
fi

POSTIN

/bin/sh

/sbin/install-info //usr/info/time.info.bz2 //usr/info/dir \
	--entry="* time: (time).		GNU time Utility"