blob: ac9d6c6ac3dde9b9c841a31f83a7074d9bac5e35 (
plain) (
tree)
|
|
#!/bin/sh
if [ "$2" != "INSTALL" ]; then
exit 0
fi
echo "**********************************************************"
echo "* Modify RESOLUTION in /usr/local/lib/dvi2ps/fontdesc *"
echo "* See /usr/local/lib/dvi2ps/doc/* for customization *"
echo "**********************************************************"
|