diff options
Diffstat (limited to 'doc/dvi2tty/dvi2tty.c.patch')
| -rw-r--r-- | doc/dvi2tty/dvi2tty.c.patch | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/doc/dvi2tty/dvi2tty.c.patch b/doc/dvi2tty/dvi2tty.c.patch deleted file mode 100644 index 5a60a5e081..0000000000 --- a/doc/dvi2tty/dvi2tty.c.patch +++ /dev/null @@ -1,33 +0,0 @@ -$OpenBSD: patch-dvi2tty_c,v 1.1.1.1 2002/11/03 15:47:06 naddy Exp $ ---- dvi2tty.c.orig Mon May 27 18:48:17 1996 -+++ dvi2tty.c Sun Nov 3 16:16:12 2002 -@@ -157,7 +157,7 @@ - /* don't have terminals with Scand. nat. chars */ - #define WANTPAGER TRUE /* default: try to pipe through a pager (like */ - /* more) if stdout is tty and no -o switch */ --#define DEFPAGER "/usr/bin/pg" /* CHANGE TO YOUR LOCAL PAGER */ -+#define DEFPAGER "/usr/bin/more" /* CHANGE TO YOUR LOCAL PAGER */ - - /*------------------ end of customization constants ---------------------*/ - -@@ -240,11 +240,6 @@ int getlong (long *, int *, char * - void usage (int); - #else - --# if defined(VMS) -- main (int argc, char ** argv); --# else --void main (int argc, char ** argv); --# endif - void setoption (char * optarg); - void getargs (void); - void getpages (int j, char * str); -@@ -265,7 +260,7 @@ void usage (int uerr); - #if defined(VMS) - main(int argc, char **argv) - #else --void main(int argc, char **argv) -+int main(int argc, char **argv) - #endif - { - |