7764f63423
for another package. PR: ports/33927 Submitted by: Hidenori Ishikawa <hideishi@magisystem.net>, a long time ago ...
13 lines
244 B
Bash
13 lines
244 B
Bash
#!/bin/sh
|
|
|
|
case "$2" in
|
|
[Pp][Rr][Ee]-[Ii][Nn][Ss][Tt][Aa][Ll][Ll])
|
|
echo ""
|
|
echo "You may wish to compile ja-ptex-base with -DWITH_DVIPSK in order"
|
|
echo "to use dvipdfm to shrink PDF files with \\usepackage{times}."
|
|
echo ""
|
|
;;
|
|
|
|
esac
|
|
|
|
exit
|