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