18 lines
325 B
Text
18 lines
325 B
Text
--- doc/whatis.texi.orig 2014-09-13 16:40:50.000000000 +0900
|
|
+++ doc/whatis.texi 2014-09-13 16:41:45.000000000 +0900
|
|
@@ -35,10 +35,11 @@
|
|
@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}
|