#!/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}

if [ "X$2" = X"DEINSTALL" -a mule != 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
