1999-01-18 02:55:18 +00:00
|
|
|
--- unix/Config.orig Mon Nov 16 16:43:32 1998
|
|
|
|
+++ unix/Config Thu Jan 14 04:56:10 1999
|
1997-06-16 09:36:29 +00:00
|
|
|
@@ -33,9 +33,12 @@
|
1997-01-30 08:42:22 +00:00
|
|
|
# even if an old version is currently in use. You can remove
|
|
|
|
# the old version manually later when it is no longer in use.
|
|
|
|
|
1997-11-23 17:56:22 +00:00
|
|
|
-# TF="/usr/local/bin/tf-${TFVER}"
|
1997-01-30 08:42:22 +00:00
|
|
|
-# LIBDIR="/usr/local/lib/tf-${TFVER}-lib"
|
|
|
|
-# SYMLINK="/usr/local/bin/tf"
|
1997-06-16 09:36:29 +00:00
|
|
|
+if [ -z "${PREFIX}" ]; then
|
|
|
|
+ PREFIX="/usr/local"
|
|
|
|
+fi
|
1997-11-23 17:56:22 +00:00
|
|
|
+TF="${PREFIX}/bin/tf-${TFVER}"
|
1997-01-30 08:42:22 +00:00
|
|
|
+LIBDIR="${PREFIX}/lib/tf-${TFVER}-lib"
|
|
|
|
+SYMLINK="${PREFIX}/bin/tf"
|
|
|
|
|
|
|
|
|
|
|
|
### Manual Page.
|
1997-06-16 09:36:29 +00:00
|
|
|
@@ -44,8 +47,8 @@
|
1997-01-30 08:42:22 +00:00
|
|
|
# uses nroff format; set MANTYPE=cat if your man uses pre-formatted
|
|
|
|
# vt100 "catman" pages. Default is "cat".
|
|
|
|
|
|
|
|
-# MANTYPE="nroff"
|
|
|
|
-# MANPAGE="/usr/local/man/man1/tf.1"
|
|
|
|
+MANTYPE="nroff"
|
|
|
|
+MANPAGE="${PREFIX}/man/man1/tf.1"
|
|
|
|
|
|
|
|
|
|
|
|
### Flags.
|
1999-01-18 02:55:18 +00:00
|
|
|
@@ -110,7 +113,7 @@
|
|
|
|
# by removing the leading "#".
|
|
|
|
|
|
|
|
# CC=cc
|
|
|
|
-# CCFLAGS="-g"
|
|
|
|
+CCFLAGS=${CFLAGS}
|
|
|
|
|
|
|
|
|
|
|
|
### Stripping.
|