1996-11-09 13:55:12 +01:00
|
|
|
#!/bin/sh
|
|
|
|
if [ "$2" != "INSTALL" ]; then
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
echo "**********************************************************"
|
|
|
|
echo "* Modify RESOLUTION in /usr/local/lib/dvi2ps/fontdesc *"
|
2001-05-27 11:27:53 +02:00
|
|
|
echo "* See /usr/local/lib/dvi2ps/doc/* for customization *"
|
1996-11-09 13:55:12 +01:00
|
|
|
echo "**********************************************************"
|
|
|
|
|