Searched refs:TEXINFO_TEX (Results 1 – 11 of 11) sorted by relevance
22 TEXINFO_TEX = ../texinfo/texinfo.tex macro
62 * Makefile.am (TEXINFO_TEX): Remove $(top_srcdir) prefix.
84 (TEXINFO_TEX): New variable.
300 TEXINFO_TEX = ../texinfo/texinfo.tex
86 TEXINFO_TEX = $(top_srcdir)/../texinfo/texinfo.tex
89 TEXINFO_TEX = $(top_srcdir)/../texinfo/texinfo.tex
90 TEXINFO_TEX = $(top_srcdir)/../texinfo/texinfo.tex
543 * Makefile.am (TEXINFO_TEX): Remove $(top_srcdir) prefix.
654 (TEXINFO_TEX): New variable.
368 TEXINFO_TEX = ../texinfo/texinfo.tex