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