Lines Matching refs:dir
12 * ) dir=$arg
16 if [ -z "$dir" ]; then
17 dir='.'
20 if [ 2 -lt $# ] || [ ! -f "$dir/texinfo.tex" ]; then
56 echo "Patching $dir/texinfo.tex"
59 $dir/texinfo.tex >$TMPDIR/texinfo.tex
60 mv $dir/texinfo.tex $dir/texinfo.tex-distrib; mv $TMPDIR/texinfo.tex $dir
63 echo "Patched $dir/texinfo.tex to avoid TeX 3.0 bug."
64 echo "The original version is saved as $dir/texinfo.tex-distrib."