doc: Add a PDF outline for navigation in the reference manual

Also using the "pdfmark" marco package as for PDF metadata.

The outline can normally be accessed via sidebar of PDF readers.

Author: marcows

doc/etc/ref-toc.so

@@ -22,6 +22,7 @@
 .\" arguments, first is the page title, the second is the page
 .\" description.  The current page number in the \n% register is
 .\" consulted to obtain the page number.
+.\" Also the PDF outline entries are inserted here.
 .\"
 .de XX
 .ds Page*Of*\\$1 \\n%
@@ -37,6 +38,8 @@
 .rm toc*num
 .ev
 .di
+.ie '\?\\$1\?'\?\?' .pdfbookmark 1 \\$2
+.el                 .pdfbookmark 1 \\$1 - \\$2
 ..
 .\" ----------  TC  -----------------------------------------------------------
 .\"

doc/etc/reference.man

@@ -127,13 +127,16 @@ with this program. If not, see <http://www.gnu.org/licenses/>.
 .\"
 .\" Before the TOC to avoid wrong output when moving the TOC up with psselect:
 .\" - metadata would contain BUILDING's values otherwise
+.\" - the last PDF outline entry would wrongly be positioned at the beginning
 .pdfsync
 .\"
 .\" ----------  Include the Table of Contents  --------------------------------
 .\"
 .if o .bp \" because .TH is going to throw another one
 .nr % 1000
 .TH "Table of Contents" "SRecord" "SRecord" "Reference Manual"
+.pdfbookmark 1 Table of Contents
+.pdfsync
 .\"
 .\"     -----
 .\" This next section redefines the page footer to use roman numbering