diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-25 21:21:40 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-25 21:21:40 +0200 |
| commit | 8beb41f95ad7c273eab9c0494ffb0acd7ace2800 (patch) | |
| tree | bdfd7a6ea6cf6caa2e2095c547bb89d12369db2b /doc/gawk.texi | |
| parent | 50dc29a3732f98eaeabd1f1f4ba9de5949adfed6 (diff) | |
| download | egawk-8beb41f95ad7c273eab9c0494ffb0acd7ace2800.tar.gz egawk-8beb41f95ad7c273eab9c0494ffb0acd7ace2800.tar.bz2 egawk-8beb41f95ad7c273eab9c0494ffb0acd7ace2800.zip | |
Update to latest texinfo.tex.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 1001d03c..6c3e4c3a 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -19,6 +19,20 @@ * awk: (gawk)Invoking gawk. Text scanning and processing. @end direntry +@ifset FOR_PRINT +@tex +\gdef\xrefprintnodename#1{``#1''} +@end tex +@end ifset +@ifclear FOR_PRINT +@c With early 2014 texinfo.tex, restore PDF links and colors +@tex +\gdef\linkcolor{0.5 0.09 0.12} % Dark Red +\gdef\urlcolor{0.5 0.09 0.12} % Also +\global\urefurlonlylinktrue +@end tex +@end ifclear + @set xref-automatic-section-title @c The following information should be updated here only! |