Add gendocs, from texinfo.