An error occurred while fetching folder content.
docs: drop the cluttering Info-style links from the HTML manual
Benno Schulenberg authored
Especially: get rid of the "Up: (dir)" link that points nowhere.

Also, add a horizontal line before the final Table of Contents.
c0a52372
Name Last commit Last update
..