diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-25 21:22:04 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-01-25 21:22:04 +0200 |
| commit | 1e40db7cc2181f19ed3c148b89cdf5ccb0f59426 (patch) | |
| tree | 47981152087f831675907da523072009973589dd /doc/gawk.texi | |
| parent | 02e6fe03d51b8014d58b7ed268738c895082fb1e (diff) | |
| parent | 8beb41f95ad7c273eab9c0494ffb0acd7ace2800 (diff) | |
| download | egawk-1e40db7cc2181f19ed3c148b89cdf5ccb0f59426.tar.gz egawk-1e40db7cc2181f19ed3c148b89cdf5ccb0f59426.tar.bz2 egawk-1e40db7cc2181f19ed3c148b89cdf5ccb0f59426.zip | |
Merge branch 'gawk-4.1-stable'
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 00a1d70f..e9ded29c 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! |