info_TEXINFOS = libconfig.texi
libconfig_TEXINFOS = LGPL.texi

html:
	$(MAKEINFO) --html --no-split $(info_TEXINFOS)