info_TEXINFOS = libconfig.texi
libconfig_TEXINFOS = LGPL.texi
html:
$(MAKEINFO) --html --no-split $(info_TEXINFOS)