1 2 3 4 5 6 7
info_TEXINFOS = libconfig.texi libconfig_TEXINFOS = LGPL.texi html: $(MAKEINFO) --html --no-split $(info_TEXINFOS)