vmips-info.patch

   1 --- vmips-1.4/doc/vmips.texi.orig       2012-01-29 08:58:54.000000000 +0100
   2 +++ vmips-1.4/doc/vmips.texi    2013-01-27 13:29:17.070249924 +0100
   3 @@ -6,9 +6,9 @@
   4  @syncodeindex fn cp
   5  @syncodeindex pg cp
   6
   7 -@dircategory Development
   8 +@dircategory Software development:
   9  @direntry
  10 -* VMIPS: (vmips).                A MIPS R3000 simulator.
  11 +* VMIPS: (vmips).                      A MIPS R3000 simulator
  12  @end direntry
  13
  14  @ifinfo
  15 --- vmips-1.4.1/doc/vmipstool.texi~     2004-10-02 06:18:23.000000000 +0200
  16 +++ vmips-1.4.1/doc/vmipstool.texi      2015-08-06 21:23:36.879622263 +0200
  17 @@ -1,7 +1,6 @@
  18  @c %**start of header
  19  @c This is for the man page:
  20  @setfilename vmipstool.info
  21 -@settitle VMIPS front end for common programming tasks.
  22  @c %**end of header
  23
  24  @ignore
  25 --- vmips-1.4.1/doc/invoke.texi~        2004-06-18 11:21:07.000000000 +0200
  26 +++ vmips-1.4.1/doc/invoke.texi 2015-08-06 21:23:48.779628383 +0200
  27 @@ -1,7 +1,6 @@
  28  @c %**start of header
  29  @c This is for the man page:
  30  @setfilename vmips.info
  31 -@settitle VMIPS R3000-based MIPS simulator (running and customizing)
  32  @c %**end of header
  33
  34  @ignore