HXPRINTLINKS(1) - manual page | User commands

Add a numbered list of links at the end of an HTML file.