From 029171324046dcbbff5f88d0465f5faee8475839 Mon Sep 17 00:00:00 2001 From: Matthew Hunt Date: Thu, 19 Oct 2000 15:53:29 +0000 Subject: Change default pager from /usr/bin/pg to /usr/bin/more. As before, $PAGER overrides. (Requested by: dcs) One patch per modified file. One modified file per patch. Honor CC, CFLAGS. Use BSD_INSTALL_FOO and, as a side effect, install with our customary ownerships. No response from: maintainer --- print/dvi2tty/files/patch-ae | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 print/dvi2tty/files/patch-ae (limited to 'print/dvi2tty/files/patch-ae') diff --git a/print/dvi2tty/files/patch-ae b/print/dvi2tty/files/patch-ae new file mode 100644 index 000000000000..e070d983dcf0 --- /dev/null +++ b/print/dvi2tty/files/patch-ae @@ -0,0 +1,18 @@ +--- disdvi.c.orig Fri Mar 12 01:05:11 1993 ++++ 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; -- cgit v1.2.3