summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C')
-rw-r--r--Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C59
1 files changed, 59 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C b/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C
new file mode 100644
index 00000000000..1833fad4306
--- /dev/null
+++ b/Build/source/texk/dvi2tty/dvi2tty-5.3.1-PATCHES/patch-03-ANSI-C
@@ -0,0 +1,59 @@
+diff -ur dvi2tty-5.3.1.orig/disdvi.c dvi2tty-5.3.1/disdvi.c
+--- dvi2tty-5.3.1.orig/disdvi.c 2003-01-23 11:31:00.000000000 +0100
++++ dvi2tty-5.3.1/disdvi.c 2010-10-21 08:07:43.000000000 +0200
+@@ -113,8 +113,6 @@
+
+ #if defined(VMS)
+ main (int argc, char ** argv);
+-#else
+-void main (int argc, char ** argv);
+ #endif
+ void bop (void);
+ void preamble (void);
+@@ -138,7 +136,7 @@
+ #if defined(VMS)
+ main(int argc, char **argv)
+ #else
+-void main(int argc, char **argv)
++int main(int argc, char **argv)
+ #endif
+ {
+ register int opcode; /* dvi opcode */
+diff -ur dvi2tty-5.3.1.orig/dvi2tty.c dvi2tty-5.3.1/dvi2tty.c
+--- dvi2tty-5.3.1.orig/dvi2tty.c 2003-01-23 11:28:30.000000000 +0100
++++ dvi2tty-5.3.1/dvi2tty.c 2010-10-21 08:31:44.000000000 +0200
+@@ -252,7 +252,6 @@
+ */
+
+ #if defined(MSDOS)
+-void main (int, char **);
+ void setoption (char *);
+ void getargs (void);
+ void getpages (int, char *);
+@@ -265,8 +264,6 @@
+
+ # if defined(VMS)
+ main (int argc, char ** argv);
+-# else
+-void main (int argc, char ** argv);
+ # endif
+ void setoption (char * optarg);
+ void getargs (void);
+@@ -288,7 +285,7 @@
+ #if defined(VMS)
+ main(int argc, char **argv)
+ #else
+-void main(int argc, char **argv)
++int main(int argc, char **argv)
+ #endif
+ {
+
+@@ -361,7 +358,7 @@
+ * GETARGS -- Process options from command line and from environment.
+ */
+
+-void getargs()
++void getargs(void)
+ {
+ char *str, *envp;
+ bool DVIfound; /* if a dvi filename found */