Lines Matching refs:texinfo
20 AUTOMAKE_OPTIONS = dejagnu no-texinfo.tex no-dist foreign
22 TEXINFO_TEX = ../texinfo/texinfo.tex
80 # Options to extract the man page from ld.texinfo
132 info_TEXINFOS = ld.texinfo
134 noinst_TEXINFOS = ldint.texinfo
2062 # Build the man page from the texinfo file
2065 ld.1: $(srcdir)/ld.texinfo configdoc.texi
2067 -$(TEXI2POD) $(MANCONF) < $(srcdir)/ld.texinfo > ld.pod
