Op 17-10-2021 om 12:48 schreef Benno Schulenberg: > Okay, that gets back the table of contents at the end of the page. > But how do I get back the short menu of chapter links at the top?
Never mind. I just suppress the @contents command for anything that is not a printed manual; it was kind of redundant in the HTML output anyway. Benno
OpenPGP_signature
Description: OpenPGP digital signature
