TeX full log excessively floods standard output by default, and the
log is always available in a .log file if needed, so there is no
problem calling texi2pdf with '-q' option.
MAKEINFO_FLAGS += --force --enable-encoding $(DOCUMENTATION_INCLUDES)
MAKEINFO = LANG= $(MAKEINFO_PROGRAM) $(MAKEINFO_FLAGS)
-TEXI2PDF_FLAGS += --batch $(DOCUMENTATION_INCLUDES)
+TEXI2PDF_FLAGS += -q --batch $(DOCUMENTATION_INCLUDES)
TELY_FILES = $(call src-wildcard,*.tely)
OUT_TEXI_FILES = $(TELY_FILES:%.tely=$(outdir)/%.texi)
MAKEINFO_FLAGS = --enable-encoding
MAKEINFO = LANG= $(MAKEINFO_PROGRAM) $(MAKEINFO_FLAGS)
+TEXI2PDF_FLAGS += -q
# info stuff
INFO_INSTALL_FILES = $(wildcard $(addsuffix *, $(INFO_FILES)))