diff options
author | asami <asami@FreeBSD.org> | 1996-08-09 12:17:17 +0800 |
---|---|---|
committer | asami <asami@FreeBSD.org> | 1996-08-09 12:17:17 +0800 |
commit | 16624e9e628d2dcaf19ceb20267f4974e71ba4b7 (patch) | |
tree | f1a90be5e9341afac3dca05d815dd4cca454dfae /misc/figlet/files | |
parent | b2b153cca0e127fd5c533241c64ca70312810785 (diff) | |
download | freebsd-ports-gnome-16624e9e628d2dcaf19ceb20267f4974e71ba4b7.tar.gz freebsd-ports-gnome-16624e9e628d2dcaf19ceb20267f4974e71ba4b7.tar.zst freebsd-ports-gnome-16624e9e628d2dcaf19ceb20267f4974e71ba4b7.zip |
Figlet is a program that creates large ASCII art characters out of ordinary
screen characters
_ _ _ _ _ _
| (_) | _____ | |_| |__ (_)___
| | | |/ / _ \ | __| '_ \| / __|
| | | < __/ | |_| | | | \__ \_
|_|_|_|\_\___| \__|_| |_|_|___(_)
Submitted by: David O'Brien (obrien@cs.ucdavis.edu)
Diffstat (limited to 'misc/figlet/files')
-rw-r--r-- | misc/figlet/files/patch-aa | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/misc/figlet/files/patch-aa b/misc/figlet/files/patch-aa new file mode 100644 index 000000000000..4c69356dbdaf --- /dev/null +++ b/misc/figlet/files/patch-aa @@ -0,0 +1,32 @@ +--- Makefile.orig Fri Apr 28 15:10:36 1995 ++++ Makefile Sun Jul 21 04:36:14 1996 +@@ -10,14 +10,15 @@ + SHELL = /bin/sh + + # Where the executables should be put +-DESTDIR = /usr/games ++###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) and + # control files (the ".flc" files). +-DEFAULTFONTDIR = /usr/games/lib/figlet.dir ++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 @@ + install: figlet chkfont + - mkdir $(DEFAULTFONTDIR) + chmod 755 $(DEFAULTFONTDIR) ++ strip figlet + cp figlet $(DESTDIR) + chmod 755 $(DESTDIR)/figlet ++ strip chkfont + cp chkfont $(DESTDIR) + chmod 755 $(DESTDIR)/chkfont + cp figlist $(DESTDIR) |