#!/bin/sh pkgname=$1 CP=${CP:-/bin/cp} ECHO=${ECHO:-echo} GREP=${GREP:-/usr/bin/grep} RM=${RM:-/bin/rm} SED=${SED:-/usr/bin/sed} infodir=${INFODIR:-/usr/local/info} infofiles=${INFOFILES:-yatexj:yatexe:yahtmlj:yahtmle} if [ "X$2" = X"DEINSTALL" -a emacs != xemacs ]; then ${ECHO} "Deleting entry for \"${pkgname}\" from ${infodir}/dir" for file in `echo ${infofiles} | ${SED} "s,:, ,g"`; do install-info --delete ${infodir}/${file} ${infodir}/dir done else exit 0 fi