Benno Schulenberg c0a52372f1 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.

2017-06-27 19:55:12 +02:00

633 B

Raw Permalink Blame History

View Raw