1 files changed, 44 insertions, 0 deletions
diff --git a/print/dviselect/files/patch-dviselect.c b/print/dviselect/files/patch-dviselect.c
new file mode 100644
index 000000000000..819b8a1ca201
--- /dev/null
+++ b/print/dviselect/files/patch-dviselect.c
@@ -0,0 +1,44 @@
+--- dviselect.c.orig	1989-11-15 13:19:15.000000000 +0100
++++ dviselect.c	2012-11-30 14:56:42.000000000 +0100
+@@ -122,7 +122,6 @@
+ /* save some string space: we use this a lot */
+ char	writeerr[] = "error writing DVI file";
+ 
+-char	*malloc(), *realloc(), *sprintf();
+ 
+ /*
+  * lint gets rather confused with the current definitions of getc and putc,
+@@ -136,6 +135,9 @@
+ #define getc(f)   (*(f)->_ptr++)
+ #endif
+ 
++void HandleDVIFile (void);
++void EndPage (void);
++
+ /*
+  * Return true iff the 10 \counts are one of the desired output pages.
+  */
+@@ -190,6 +192,7 @@
+ /*
+  * Start a page (process a DVI_BOP).
+  */
++void
+ BeginPage()
+ {
+ 	register i32 *i;
+@@ -243,6 +246,7 @@
+ /*
+  * End a page (process a DVI_EOP).
+  */
++void
+ EndPage()
+ {
+ 	if (!ExpectEOP)
+@@ -815,6 +819,7 @@
+  * output DVI file. We also keep track of font changes, handle font
+  * definitions, and perform some other housekeeping.
+  */
++void
+ HandleDVIFile()
+ {
+ 	register int c, l;