mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-06 06:30:19 +00:00
18 lines
363 B
Bash
18 lines
363 B
Bash
#!/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
|