texinfo.patch

   1 --- gdb-7.5.0.20120926/bfd/doc/bfd.texinfo~     2010-10-28 13:40:25.000000000 +0200
   2 +++ gdb-7.5.0.20120926/bfd/doc/bfd.texinfo      2013-07-30 22:12:05.761876536 +0200
   3 @@ -322,7 +322,7 @@
   4  @printindex cp
   5
   6  @tex
   7 -% I think something like @colophon should be in texinfo.  In the
   8 +% I think something like @@colophon should be in texinfo.  In the
   9  % meantime:
  10  \long\def\colophon{\hbox to0pt{}\vfill
  11  \centerline{The body of this manual is set in}
  12 @@ -333,7 +333,7 @@
  13  \centerline{{\sl\fontname\tensl\/}}
  14  \centerline{are used for emphasis.}\vfill}
  15  \page\colophon
  16 -% Blame: doc@cygnus.com, 28mar91.
  17 +% Blame: doc@@cygnus.com, 28mar91.
  18  @end tex
  19
  20  @bye