diff options
Diffstat (limited to 'Doc/tools/mkdvi.sh')
| -rwxr-xr-x | Doc/tools/mkdvi.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/mkdvi.sh b/Doc/tools/mkdvi.sh index 3269a28..880192d 100755 --- a/Doc/tools/mkdvi.sh +++ b/Doc/tools/mkdvi.sh @@ -34,7 +34,7 @@ fi part=$1; shift 1 -TEXINPUTS=$srcdir/$part:$TEXINPUTS +TEXINPUTS=.:$srcdir/$part:$TEXINPUTS export TEXINPUTS echo $srcdir'/tools/newind.py >'$part'.ind' |