Searched refs:MAKEINFO (Results 1 – 1 of 1) sorted by relevance
69 MAKEINFO=makeinfo macro311 $(QUIET_MAKEINFO)$(MAKEINFO) --no-split -o $@ $(OUTPUT)user-manual.texi334 $(QUIET_MAKEINFO)$(MAKEINFO) --no-split --no-validate $*.texi
