Searched refs:MAKEINFO (Results 1 – 1 of 1) sorted by relevance
49 MAKEINFO=makeinfo macro130 QUIET_MAKEINFO = @echo ' ' MAKEINFO $@;246 $(QUIET_MAKEINFO)$(MAKEINFO) --no-split -o $@ user-manual.texi269 $(QUIET_MAKEINFO)$(MAKEINFO) --no-split --no-validate $*.texi