Add targets to build documentation from Texinfo.