blob: e1ba10e613f6bd6e4eaf2bf876d086c17e4632c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#! /bin/sh
if [ "$PREFIX" = "" ]
then
PREFIX=/usr/pkg
fi
TEXMF=$PREFIX/share/texmf
cat <<EOT
---------------------------------------------------------------------------
You may consider running $PREFIX/bin/texconfig to adjust for your
local environment, e.g. configure font generation to use a temporary
directory.
For further information have a look at $TEXMF/doc/tetex/.
---------------------------------------------------------------------------
EOT
exit 0
|