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