Home | History | Annotate | Download | only in util

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."