diff options
Diffstat (limited to 'misc/figlet/files/patch-aa')
| -rw-r--r-- | misc/figlet/files/patch-aa | 31 |
1 files changed, 17 insertions, 14 deletions
diff --git a/misc/figlet/files/patch-aa b/misc/figlet/files/patch-aa index 4c69356dbdaf..ff8892993e40 100644 --- a/misc/figlet/files/patch-aa +++ b/misc/figlet/files/patch-aa @@ -1,32 +1,35 @@ ---- Makefile.orig Fri Apr 28 15:10:36 1995 -+++ Makefile Sun Jul 21 04:36:14 1996 -@@ -10,14 +10,15 @@ +--- Makefile.orig Tue Feb 18 22:46:29 1997 ++++ Makefile Fri Jun 20 14:34:48 1997 +@@ -10,18 +10,18 @@ + # for changing this is if sh is not in the same place. SHELL = /bin/sh + CC = gcc +-CFLAGS = -g ++#CFLAGS = -g # Where the executables should be put --DESTDIR = /usr/games -+###DESTDIR = /usr/games +-DESTDIR = /home_c2/johnson/chai/figlet/bin +DESTDIR = $(PREFIX)/bin # Where the man page should be put --MANDIR = /usr/man/man6 +-MANDIR = /home_c2/johnson/chai/man/man6 +MANDIR = $(PREFIX)/man/man6 - # Where figlet will search first for fonts (the ".flf" files) and - # control files (the ".flc" files). --DEFAULTFONTDIR = /usr/games/lib/figlet.dir + # Where figlet will search first for fonts (the ".flf" files). + # DEFAULTFONTDIR = $(DESTDIR)/lib/figlet.dir + # Use this definition if you can't put things in /usr/games +-DEFAULTFONTDIR = /home_c2/johnson/chai/figlet/fonts +DEFAULTFONTDIR = $(PREFIX)/share/figlet # The filename of the font to be used if no other is specified # (standard.flf is recommended, but any other can be used). -@@ -48,8 +49,10 @@ +@@ -51,7 +51,9 @@ + install: figlet chkfont - - mkdir $(DEFAULTFONTDIR) - chmod 755 $(DEFAULTFONTDIR) + mkdir $(DEFAULTFONTDIR) + strip figlet cp figlet $(DESTDIR) - chmod 755 $(DESTDIR)/figlet + strip chkfont cp chkfont $(DESTDIR) - chmod 755 $(DESTDIR)/chkfont cp figlist $(DESTDIR) + cp showfigfonts $(DESTDIR) |