gendocs.sh: fix support for legacy --texi2html * build-aux/gendocs.sh: Restrict use of TOP_NODE_UP_URL to the default makeinfo invocation. Reported by Bruce Korb
2018-06-17T14:26:28