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