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