3a0efa087f
Submitted by: MITA Yoshio <mita@ee.t.u-tokyo.ac.jp>
10 lines
318 B
Bash
10 lines
318 B
Bash
#!/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 customize *"
|
|
echo "**********************************************************"
|
|
|