Remove procedure output lines, which don't play nicely with Texinfo.

(E.g., `---> procedure'.)

Also uncommented the ``Detailed Node Listing'' portion for the info
manual builds.