diff options
Diffstat (limited to 'misc/figlet/files/patch-aa')
| -rw-r--r-- | misc/figlet/files/patch-aa | 36 |
1 files changed, 10 insertions, 26 deletions
diff --git a/misc/figlet/files/patch-aa b/misc/figlet/files/patch-aa index 9d0fdfb16f04..a5b7365825ca 100644 --- a/misc/figlet/files/patch-aa +++ b/misc/figlet/files/patch-aa @@ -1,40 +1,24 @@ ---- Makefile.orig Tue Feb 18 15:02:28 1997 -+++ Makefile Fri Apr 5 18:59:04 2002 -@@ -9,19 +9,19 @@ - # Don't change this even if your shell is different. The only reason - # for changing this is if sh is not in the same place. +--- Makefile.orig Sat Jul 13 03:24:16 2002 ++++ Makefile Mon Oct 7 11:10:48 2002 +@@ -13,15 +13,15 @@ SHELL = /bin/sh -CC = gcc -CFLAGS = -g -+CC ?= gcc ++#CC = gcc +#CFLAGS = -g # Where the executables should be put --DESTDIR = /usr/games +-DESTDIR = /usr/local/bin +DESTDIR = $(PREFIX)/bin # Where the man page should be put --MANDIR = /usr/man/man6 +-MANDIR = /usr/local/man/man6 +MANDIR = $(PREFIX)/man/man6 # Where figlet will search first for fonts (the ".flf" files). --DEFAULTFONTDIR = $(DESTDIR)/lib/figlet.dir -+#DEFAULTFONTDIR = $(DESTDIR)/lib/figlet.dir - # Use this definition if you can't put things in /usr/games --DEFAULTFONTDIR = fonts +-DEFAULTFONTDIR = /usr/local/share/figlet +DEFAULTFONTDIR = $(PREFIX)/share/figlet + # Use this definition if you can't put things in /usr/local/share/figlet +-DEFAULTFONTDIR = fonts ++#DEFAULTFONTDIR = fonts - # The filename of the font to be used if no other is specified - # (standard.flf is recommended, but any other can be used). -@@ -50,8 +50,10 @@ - rm -f *.o figlet chkfont - - install: figlet chkfont -- mkdir $(DEFAULTFONTDIR) -+ mkdir -p $(DEFAULTFONTDIR) -+ strip figlet - cp figlet $(DESTDIR) -+ strip chkfont - cp chkfont $(DESTDIR) - cp figlist $(DESTDIR) - cp showfigfonts $(DESTDIR) |