From 8beb41f95ad7c273eab9c0494ffb0acd7ace2800 Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Sat, 25 Jan 2014 21:21:40 +0200
Subject: Update to latest texinfo.tex.

---
 doc/gawk.texi | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'doc/gawk.texi')

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!
-- 
cgit v1.2.3