Commit 52cb8aa76abfbacfe3ade1ff746102fa75290157

Bruno Haible 2024-10-28T13:24:34

doc: Improve usability of generated PDF. * doc/gnulib.texi: Use a brown colour for interactive links.