On most html manuals that I've looked at that have split the manual into multiple html pages, I see a navbar (next/previous/up) at the top of each page and also at the bottom.
Is this a bug? An intentional design decision? (If so, I how do I know when a bottom navbar is produced or not?)
For the record, the doc at
cmucl.org was generated using texinfo 6.8. I guess the gnu make doc was using texinfo 6.7.
--