Lines Matching refs:texinfo
80 # Take out texinfo from a few places.
81 sed -e '/^all\.normal: /s/\all-texinfo //' \
82 -e '/^ install-texinfo /d' \
128 # Take out texinfo from configurable dirs
130 sed -e '/^host_tools=/s/texinfo //' \
133 mkdir proto-toplev/texinfo
134 ln -s ../../texinfo/texinfo.tex proto-toplev/texinfo/
135 if test -r texinfo/util/tex3patch ; then
136 mkdir proto-toplev/texinfo/util && \
137 ln -s ../../../texinfo/util/tex3patch proto-toplev/texinfo/util
