info_TEXINFOS = bobot++.texinfo
EXTRA_DIST = index.html