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