1997-06-20 12:41:47 +00:00
|
|
|
--- 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.
|
1996-08-09 04:17:17 +00:00
|
|
|
SHELL = /bin/sh
|
1997-06-20 12:41:47 +00:00
|
|
|
CC = gcc
|
|
|
|
|
-CFLAGS = -g
|
|
|
|
|
+#CFLAGS = -g
|
1996-08-09 04:17:17 +00:00
|
|
|
|
|
|
|
|
# Where the executables should be put
|
1997-06-20 12:41:47 +00:00
|
|
|
-DESTDIR = /home_c2/johnson/chai/figlet/bin
|
1996-08-09 04:17:17 +00:00
|
|
|
+DESTDIR = $(PREFIX)/bin
|
|
|
|
|
|
|
|
|
|
# Where the man page should be put
|
1997-06-20 12:41:47 +00:00
|
|
|
-MANDIR = /home_c2/johnson/chai/man/man6
|
1996-08-09 04:17:17 +00:00
|
|
|
+MANDIR = $(PREFIX)/man/man6
|
|
|
|
|
|
1997-06-20 12:41:47 +00:00
|
|
|
# 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
|
1996-08-09 04:17:17 +00:00
|
|
|
+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).
|
1997-06-20 12:41:47 +00:00
|
|
|
@@ -51,7 +51,9 @@
|
|
|
|
|
|
1996-08-09 04:17:17 +00:00
|
|
|
install: figlet chkfont
|
1997-06-20 12:41:47 +00:00
|
|
|
mkdir $(DEFAULTFONTDIR)
|
1996-08-09 04:17:17 +00:00
|
|
|
+ strip figlet
|
|
|
|
|
cp figlet $(DESTDIR)
|
|
|
|
|
+ strip chkfont
|
|
|
|
|
cp chkfont $(DESTDIR)
|
|
|
|
|
cp figlist $(DESTDIR)
|
1997-06-20 12:41:47 +00:00
|
|
|
cp showfigfonts $(DESTDIR)
|
