texinfo.patch

   1 --- vice-2.4/doc/vice.texi~     2013-11-08 07:48:55.000000000 +0100
   2 +++ vice-2.4/doc/vice.texi      2013-11-08 07:58:08.473687303 +0100
   3 @@ -8245,7 +8245,7 @@
   4  @item -Crtcextpal
   5  Use an external palette (file)
   6  @cindex -Crtcpalette
   7 -@itemx -Crtcpalette NAME
   8 +@item -Crtcpalette NAME
   9  Specify @code{NAME} as the palette file (@code{CrtcPaletteFile}).
  10  @cindex -Crtcfulldevice
  11  @item -Crtcfulldevice <device>