Lines Matching refs:texinfo
3 # patches texinfo.tex in current directory, or in directory given as arg.
20 if [ 2 -lt $# ] || [ ! -f "$dir/texinfo.tex" ]; then
21 echo "To patch texinfo.tex for peaceful coexistence with Unix TeX 3.0,"
23 echo "with no arguments in the same directory as texinfo.tex; or run"
25 echo "(where DIRECTORY is a path leading to texinfo.tex)."
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."