blob: 09726ca2e1cd29b2d64daa1a643891107c709409 (
plain)
1
2
3
4
5
6
7
8
9
|
# $Id: run.sh 831 2020-06-04 18:07:54Z karl $
# Public domain.
if [ ! -e ./pdftex ]; then
ln -s ../../source/build-pdftex/texk/web2c/pdftex .
fi
set -x
TFMFONTS=. ./pdftex -ini ./f.tex
|