1998-08-14 00:16:07 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
pkgname=$1
|
|
|
|
|
|
1999-03-17 06:57:38 +00:00
|
|
|
CP=${CP:-%%CP%%}
|
|
|
|
|
ECHO=${ECHO:-%%ECHO%%}
|
|
|
|
|
GREP=${GREP:-%%GREP%%}
|
|
|
|
|
RM=${RM:-%%RM%%}
|
|
|
|
|
SED=${SED:-%%SED%%}
|
1998-08-14 00:16:07 +00:00
|
|
|
|
1999-03-17 06:57:38 +00:00
|
|
|
infodir=${INFODIR:-%%INFODIR%%}
|
|
|
|
|
infofiles=${INFOFILES:-%%INFOFILES%%}
|
1998-08-14 00:16:07 +00:00
|
|
|
|
1999-09-27 13:48:10 +00:00
|
|
|
if [ "X$2" = X"DEINSTALL" -a %%EMACS%% != xemacs ]; then
|
1998-08-14 00:16:07 +00:00
|
|
|
${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
|
