Lost Fred Fri, 07 Jul 2017 07:59:07 -0700
./gendocs.sh: cannot find .texinfo or .texi or .txi for in /root/Downloads.
