Re: texinfo-5.0 available

[Eli Zaretskii]

Please also install this small patch, which fixes a compilation error
with GCC 4.7:


2013-02-18  Eli Zaretskii  <e...@gnu.org>

        * info/pcterm.c (pc_initialize_terminal): Move prototype outside
        of w32_info_init to the file level.

--- info/pcterm.c~0     2012-11-26 03:32:03.000000000 +0200
+++ info/pcterm.c       2013-02-18 07:38:15.284387300 +0200
@@ -123,12 +123,11 @@ w32_cleanup (void)
 }
 
 static void w32_info_init (void) __attribute__((constructor));
+static void pc_initialize_terminal (char *);
 
 static void
 w32_info_init (void)
 {
-  static void pc_initialize_terminal (char *);
-
   /* We need to set this single hook here; the rest
      will be set by pc_initialize_terminal when it is called.  */
   terminal_initialize_terminal_hook = pc_initialize_terminal;