blob: 495112032868e21cdafd6253ae6436d4968997bb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
# Run just once.
if [ "x$2" != "xDEINSTALL" ]; then
exit 0
fi
TEXMFMAIN=`kpsexpand '$TEXMFMAIN'`
PSFONTSMAP=${TEXMFMAIN}/dvips/config/config.ps
# 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
|