Hi again David, Sorry for the delayed reply. It seems I didn't properly understand the issue before. The purpose of gendocs.sh is to generate the "top level" page for a manual, giving links to the monolithic HTML, by-node HTML, PDF, and whatever other versions are available. The actual content of the manual is not involved. Like this page: http://www.gnu.org/software/hello/manual/
The HTML you sent is the real index.html for the manual, like this page: http://www.gnu.org/software/hello/manual/html_node/index.html Now, as far as ada-mode and the other doc/misc manuals go, I'm not sure if you're doing this for your own needs or to update the Emacs manuals on www.gnu.org. If the latter, the maintainers (I assume) have chosen to distribute only monolithic and per-node versions of the doc/misc manuals, e.g.: http://www.gnu.org/software/emacs/manual/ada-mode.html I don't know if they used gendocs.sh to generate those, but I doubt it. It looks to me like they created them by hand. Let me know how I can help. Best, karl
