diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty.patch')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty.patch | 91 |
1 files changed, 0 insertions, 91 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty.patch b/Build/source/texk/dvi2tty/dvi2tty.patch deleted file mode 100644 index 392a419fc0b..00000000000 --- a/Build/source/texk/dvi2tty/dvi2tty.patch +++ /dev/null @@ -1,91 +0,0 @@ -The following are patches against the standard dvi2tty distribution (at -least as of March of 1996, but it doesn't look like it's going to be -changing any time in the near future). The original code doesn't -null-terminate a string at several points, apparently relying on the -assumption that all memory will be zeroed. This is not the case on -several systems, most notably Linux. These patches will also clean up the -Makefile and add a make clean target. - -To apply these patches, use: - - patch < dvi2tty.patch - -If you don't have patch on your system, you can obtain it from -prep.ai.mit.edu (or any mirror) in /pub/gnu; I highly recommend you -install it. Alternately, you can just make the below changes by hand -(there aren't very many). - -Feel free to send me questions, other problems, corrections, and the like, -but please be aware that I am not the official maintainer of this package, -and although I use it I do not know a lot about the internals. I'll try -to help, but don't expect too much. - - Russ Allbery - rra@cs.stanford.edu - --------------------------------------------------------------------------- - ---- dvi2tty/Makefile.orig Fri Mar 12 01:05:10 1993 -+++ dvi2tty/Makefile Mon May 6 03:03:51 1996 -@@ -6,17 +6,20 @@ - # This Makefile does not work for MSDOS. Make your - # own one, or compile by hand. - # --CFLAGS = -+CFLAGS = -O2 -+CC = gcc - - all: dvi2tty disdvi - --dvi2tty:dvi2tty.o dvistuff.o -- cc -o dvi2tty dvi2tty.o dvistuff.o -+dvi2tty: dvi2tty.o dvistuff.o -+ $(CC) $(CFLAGS) -o dvi2tty dvi2tty.o dvistuff.o - --disdvi:disdvi.c commands.h -- cc -o disdvi disdvi.o -+disdvi: disdvi.c commands.h -+ $(CC) $(CFLAGS) -o disdvi disdvi.c - - dvi2tty.o: dvi2tty.c dvi2tty.h - - dvistuff.o: dvistuff.c dvi2tty.h commands.h - -+clean: -+ rm -f dvi2tty disdvi *.o ---- dvi2tty/dvistuff.c.orig Fri Mar 12 01:05:35 1993 -+++ dvi2tty/dvistuff.c Mon May 6 04:48:49 1996 -@@ -996,13 +996,14 @@ - } - else - free(fnt->name); /* free old name */ -- if ((name = (char *) malloc(namelen * sizeof(char))) == NULL) { -+ if ((name = (char *) malloc((namelen + 1) * sizeof(char))) == NULL) { - perror("fontdef"); - exit(1); - } - - for (i = 0; i < namelen; i++) - name[i] = get1(); -+ name[namelen] = '\0'; - fnt->name = name; - if (new) { - fnt->next = fonts; ---- dvi2tty/disdvi.c.orig Fri Mar 12 01:05:11 1993 -+++ dvi2tty/disdvi.c Mon May 6 04:47:36 1996 -@@ -348,13 +348,14 @@ - } - else - free(fnt->name); /* free old name */ -- if ((name = (char *) malloc(namelen * sizeof(char))) == NULL) { -+ if ((name = (char *) malloc((namelen + 1) * sizeof(char))) == NULL) { - perror("fontdef"); - exit(1); - } - - for (i = 0; i < namelen; i++) - name[i] = get1(); -+ name[namelen] = '\0'; - fnt->name = name; - if (new) { - fnt->next = fonts; |