1 files changed, 18 insertions, 0 deletions
diff --git a/print/dvi2tty/files/patch-ad b/print/dvi2tty/files/patch-ad
new file mode 100644
index 000000000000..eadeb64707ac
--- /dev/null
+++ b/print/dvi2tty/files/patch-ad
@@ -0,0 +1,18 @@
+--- dvistuff.c.orig	Fri Mar 12 01:05:35 1993
++++ 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;