mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-24 21:01:20 +00:00
17 lines
314 B
Plaintext
17 lines
314 B
Plaintext
|
#!/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
|
||
|
mv -f $PSFONTSMAP.tmp $PSFONTSMAP
|
||
|
|
||
|
# Update ls-R.
|
||
|
mktexlsr
|