diff options
| author | Alain Magloire <alainm@rcsm.ee.mcgill.ca> | 2000-02-26 03:18:40 +0000 |
|---|---|---|
| committer | Alain Magloire <alainm@rcsm.ee.mcgill.ca> | 2000-02-26 03:18:40 +0000 |
| commit | 0fb1168d3d8f44598a88b0f643de894ab65d1c4f (patch) | |
| tree | 9074b25ebea06b2bd162d976a6cde045f2dfc757 /djgpp | |
| parent | 8a0002cac0ebc4d613613817bfc8065d1ec24f20 (diff) | |
| download | grep-0fb1168d3d8f44598a88b0f643de894ab65d1c4f.tar.gz | |
ChangeLog djgpp/config.site doc/grep.1
Patch from Eli, to crrect typos.
* doc/grep.1: Two small glitches(typos).
* djgpp/config.site (prefix, INSTALL): Use /dev/env/DJDIR instead
of ${DJDIR}, so that the produced Makefile's work on any DJGPP
installation.
Diffstat (limited to 'djgpp')
| -rw-r--r-- | djgpp/config.site | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/djgpp/config.site b/djgpp/config.site index dbe8123b..68d9634f 100644 --- a/djgpp/config.site +++ b/djgpp/config.site @@ -13,7 +13,7 @@ PATH_SEPARATOR=: PATH_EXPAND=y # The root of the DJGPP tree serves as the default prefix -test "x$prefix" = xNONE && prefix='${DJDIR}' +test "x$prefix" = xNONE && prefix='/dev/env/DJDIR' # This is required for config.status script to be run, since # ./configure runs it by invoking ${CONFIG_SHELL-/bin/sh} @@ -24,6 +24,6 @@ CONFIG_SHELL=${CONFIG_SHELL='sh'} # package was configured. # $INSTALL must be an absolute path name, otherwise config.status # will try to prepend ./ and ../ to it when it goes into subdirs. -INSTALL=${INSTALL='${DJDIR}/bin/ginstall -c'} +INSTALL=${INSTALL='/dev/env/DJDIR/bin/ginstall -c'} RANLIB=${RANLIB='ranlib'} |