docs: drop the cluttering Info-style links from the HTML manual
Especially: get rid of the "Up: (dir)" link that points nowhere. Also, add a horizontal line before the final Table of Contents.
Showing
+6 -1
Please register or sign in to comment