diff options
Diffstat (limited to 'security/heimdal/files/patch-doc-whatis.texi')
| -rw-r--r-- | security/heimdal/files/patch-doc-whatis.texi | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/security/heimdal/files/patch-doc-whatis.texi b/security/heimdal/files/patch-doc-whatis.texi deleted file mode 100644 index d5a94513e4c9..000000000000 --- a/security/heimdal/files/patch-doc-whatis.texi +++ /dev/null @@ -1,18 +0,0 @@ ---- 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} |