blob: 526f1ee7df18b04e83a2595d816c6f50c528a09a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/bin/sh
pkgname=$1
CP=${CP:-%%CP%%}
ECHO=${ECHO:-%%ECHO%%}
GREP=${GREP:-%%GREP%%}
RM=${RM:-%%RM%%}
SED=${SED:-%%SED%%}
infodir=${INFODIR:-%%INFODIR%%}
infofiles=${INFOFILES:-%%INFOFILES%%}
if [ "X$2" = X"DEINSTALL" ]; 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
|
