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