diff options
author | Mathieu Lonjaret | 2007-01-18 21:44:40 +0100 |
---|---|---|
committer | Jaka Kranjc | 2007-01-19 10:42:48 +0100 |
commit | 09c64110e20e27da1b5bb253553ea7f199504607 (patch) | |
tree | db4afc61c4b2583d91adbb16148c1c6db2de0b31 | |
parent | b343aa669a55691c36f3db8989e5ff31241ff5c3 (diff) |
grep: fixing bug 12808
-rwxr-xr-x | utils/grep/HISTORY | 4 | ||||
-rwxr-xr-x | utils/grep/INSTALL | 4 | ||||
-rwxr-xr-x | utils/grep/POST_REMOVE | 3 |
3 files changed, 8 insertions, 3 deletions
diff --git a/utils/grep/HISTORY b/utils/grep/HISTORY index ea614dbcfd..4d9bde799a 100755 --- a/utils/grep/HISTORY +++ b/utils/grep/HISTORY @@ -1,3 +1,7 @@ +2007-01-18 Mathieu Lonjaret <lejatorn@sourcemage.org> + * INSTALL, POST_REMOVE: fixing bug #12808 (problems with install-info + * from dpkg spell) + 2006-06-28 Eric Sandall <eric@sandall.us> * DETAILS: Removed BUILD_API=2, set grimoire-wide diff --git a/utils/grep/INSTALL b/utils/grep/INSTALL index a5b8ab025f..28598d42ee 100755 --- a/utils/grep/INSTALL +++ b/utils/grep/INSTALL @@ -1,3 +1,3 @@ make install DESTDIR=$INSTALL_ROOT && -install-info ${INSTALL_ROOT}/usr/share/info/grep.info \ - --info-dir=${INSTALL_ROOT}/usr/share/info +install-info --info-dir="${INSTALL_ROOT}/usr/share/info"\ + ${INSTALL_ROOT}/usr/share/info/grep.info diff --git a/utils/grep/POST_REMOVE b/utils/grep/POST_REMOVE index ec74f4626d..2ab5fc5323 100755 --- a/utils/grep/POST_REMOVE +++ b/utils/grep/POST_REMOVE @@ -1 +1,2 @@ -install-info --delete grep --info-dir ${INSTALL_ROOT}/usr/share/info +install-info --remove --info-dir="${INSTALL_ROOT}/usr/share/info"\ + ${INSTALL_ROOT}/usr/share/info/grep.info |