Searched refs:MAKEINFOHTML (Results 1 – 4 of 4) sorted by relevance
88 MAKEINFOHTML = $(MAKEINFO) --html294 if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
88 MAKEINFOHTML = $(MAKEINFO) --html macro294 if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
83 MAKEINFOHTML = $(MAKEINFO) --html335 if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I $(srcdir) \
186 MAKEINFOHTML = $(MAKEINFO) --html994 if $(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) -I doc -I $(srcdir)/doc \