Ok. To keep things a bit simpler, I copied into the doc/ of my package the texinfo.tex from v5.2. Like this, I only need to add @codequoteundirected on @codequotebacktick on to my original file.
Thanks a lot for your help, I think I won't be bothering you anymore! Timothée Flutre 2014-06-23 21:16 GMT+02:00 Karl Berry <[email protected]>: > You're looking in the right place. They're not in the manual because > these changes are post-5.2. here's what in the development manual. > (alternatively, you could use the 5.2 texinfo.tex and then wouldn't need > the @tex settings. i believe.) > > sorry for all the continuing complications. > > k > > > File: texinfo.info, Node: PDF Colors > > 8.9.4 PDF Colors > ---------------- > > By default, urls and cross-reference links are printed in black in PDF > output. Very occasionally, however, you may want to highlight such > "live" links with a different color, as is commonly done on web pages. > Texinfo provides a PDF-specific option for specifying these colors, > which must be used inside '@tex': > > @tex > \global\def\linkcolor{1 0 0} % red > \global\def\urlcolor{0 1 0} % green > @end tex > > '\urlcolor' changes the color of '@url' output (both the actual url > and any textual label), while '\linkcolor' changes the color for > cross-references to nodes, etc. They are independent. > > The three given values must be numbers between 0 and 1, specifying the > amount of red, green, and blue respectively. > > These definitions only have an effect when the PDF output is produced > with the pdfTeX program, not with other ways of getting from Texinfo to > PDF (e.g., TeX to DVI to PDF). Consequently, it is ok to specify this > option unconditionally within '@tex', as shown above. It is ignored > when DVI is being produced. > > We do not recommend colorizing just for fun; unless you have a > specific reason to use colors, best to skip it. > >
