mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-07 02:06:57 +00:00
fe33b412f0
While here, trim Makefile header and finish PORT_OPTIONS conversion Approved by: portmgr (miwi)
16 lines
370 B
Bash
16 lines
370 B
Bash
#!/bin/sh
|
|
if [ "$2" != "DEINSTALL" ]; then
|
|
exit 0
|
|
fi
|
|
FONTDIR=${PKG_PREFIX}/lib/X11/fonts/TrueType
|
|
cd ${FONTDIR}
|
|
sed -e '/-mona-/d' fonts.dir > fonts.dir.tmp
|
|
numfonts=$(echo $(cat fonts.dir.tmp | wc -l) - 1 | bc)
|
|
if [ ${numfonts} != "0" ]; then
|
|
echo ${numfonts} > fonts.dir
|
|
sed -e 1d fonts.dir.tmp >> fonts.dir
|
|
rm -f fonts.dir.tmp
|
|
else
|
|
rm -f fonts.dir fonts.dir.tmp
|
|
fi
|