From 1846c7a35d1091d3b6140c56befd7fee0a91dcbb Mon Sep 17 00:00:00 2001
From: Love Hornquist Astrand <lha@h5l.org>
Date: Mon, 8 Apr 2013 10:15:15 -0700
Subject: [PATCH] make @iftex case work in texinfo-5.1

---
 doc/whatis.texi | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/doc/whatis.texi b/doc/whatis.texi
index 8c1f45d..891e275 100644
--- a/doc/whatis.texi
+++ b/doc/whatis.texi
@@ -35,10 +35,11 @@ services can authenticate each other.
 @end macro
 @end ifinfo
 
-@tex
-@def@xsub#1{$_{#1}$}
-@global@let@sub=@xsub
-@end tex
+@iftex
+@macro sub{arg}
+@textsubscript{\arg\}
+@end macro
+@end iftex
 
 @ifhtml
 @macro sub{arg}