diff options
Diffstat (limited to 'misc/figlet/patches/patch-aa')
| -rw-r--r-- | misc/figlet/patches/patch-aa | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/misc/figlet/patches/patch-aa b/misc/figlet/patches/patch-aa new file mode 100644 index 00000000000..e313f6f25e8 --- /dev/null +++ b/misc/figlet/patches/patch-aa @@ -0,0 +1,38 @@ +--- Makefile.orig Tue Feb 18 15:02:28 1997 ++++ Makefile Tue Aug 12 08:34:46 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 = $(PREFIX)/bin + + # Where the man page should be put +-MANDIR = /usr/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 = $(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). +@@ -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) |