19 lines
386 B
Bash
19 lines
386 B
Bash
#!/bin/sh
|
|
|
|
# Run just once.
|
|
if [ "x$2" != "xDEINSTALL" ]; then
|
|
exit 0
|
|
fi
|
|
|
|
PSFONTSMAP=`kpsewhich -format 'dvips config' config.ps`
|
|
|
|
if [ -f "${PSFONTSMAP}" ]; then
|
|
# Edit dvips/config/config.ps
|
|
sed -e /%cwtex_begin/,/%cwtex_end/d $PSFONTSMAP > $PSFONTSMAP.tmp
|
|
if [ -s "$PSFONTSMAP.tmp" ]; then
|
|
mv $PSFONTSMAP.tmp $PSFONTSMAP
|
|
else
|
|
rm $PSFONTSMAP.tmp $PSFONTSMAP
|
|
fi
|
|
fi
|