PDFs are not only made for printing, but also for interactive viewing
(like HTML, unlike DVI and PS). Texinfo from before 2013 showed interactive
links in PDF, which allows the user to see immediately the interactive
spots in the page. This feature was lost in 2013; we now have to enable
it ourselves. Cf.
https://www.gnu.org/software/texinfo/manual/texinfo/html_node/PDF-Colors.html
2024-10-28 Bruno Haible <br...@clisp.org>
doc: Improve usability of generated PDF.
* doc/gnulib.texi: Use a brown colour for interactive links.
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index 103189fddb..3133f481e2 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -3,6 +3,7 @@
@setfilename gnulib.info
@settitle GNU Gnulib
@documentencoding UTF-8
+
@c These two require Texinfo 5.0 or later, so we use the older
@c equivalent @set variables supported in 4.11 and hence
@ignore
@@ -11,6 +12,15 @@
@end ignore
@set txicodequoteundirected
@set txicodequotebacktick
+
+@c In PDF output, use a brown colour for interactive links,
+@c like it was before commit
+@c
https://git.savannah.gnu.org/gitweb/?p=texinfo.git;a=commitdiff;h=b4f50b9f4c083327e81ec5c7cde9b87234a19646
+@tex
+\global\def\linkcolor{\rgbDarkRed}
+\global\def\urlcolor{\rgbDarkRed}
+@end tex
+
@c Indices:
@c cp = concept @cindex
@c fn = function @findex
@@ -31,6 +41,7 @@
@syncodeindex tp cp
@syncodeindex vr cp
@syncodeindex cn cp
+
@ifclear texi2html
@firstparagraphindent insert
@end ifclear
