Lines Matching refs:texinfo
91 # Take out texinfo from a few places.
92 sed -e '/^all\.normal: /s/\all-texinfo //' \
93 -e '/^ install-texinfo /d' \
149 # Take out texinfo from configurable dirs
151 sed -e '/^host_tools=/s/texinfo //' \
154 mkdir proto-toplev/texinfo
155 ln -s ../../texinfo/texinfo.tex proto-toplev/texinfo/
156 if test -r texinfo/util/tex3patch ; then
157 mkdir proto-toplev/texinfo/util && \
158 ln -s ../../../texinfo/util/tex3patch proto-toplev/texinfo/util