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