docs: copy the 'gendocs.sh' script from Texinfo CVS repository