From: Santiago Vila <sanvila@debian.org>
Subject: process_texi is void

--- a/man/texinfo2man.c
+++ b/man/texinfo2man.c
@@ -163,7 +163,7 @@
 
 static char value_updated[64], value_edition[64], value_version[64];
 
-process_texi (FILE * in)
+void process_texi (FILE * in)
 {
   char buf[1024];
   int in_block = 0;
