diff options
author | Jaka Kranjc | 2008-04-14 11:16:36 +0200 |
---|---|---|
committer | Eric Sandall | 2008-04-14 11:24:00 -0700 |
commit | 50c5ca3f34954294e9b648485901682e3eefe508 (patch) | |
tree | f08eb74aa717eb779c994074a1ee1cf97a77d89f | |
parent | 0b65979cdf61258a8745b8a1ac498d572c96ce84 (diff) |
indent: fixed html doc installation path #14348
(cherry picked from commit 33a00de32c9a36be3529ea80d3d3ab1231daf44c)
-rwxr-xr-x | devel/indent/DETAILS | 1 | ||||
-rw-r--r-- | devel/indent/HISTORY | 4 | ||||
-rwxr-xr-x | devel/indent/PRE_BUILD | 3 |
3 files changed, 7 insertions, 1 deletions
diff --git a/devel/indent/DETAILS b/devel/indent/DETAILS index 2bdea50d54..e3807171e6 100755 --- a/devel/indent/DETAILS +++ b/devel/indent/DETAILS @@ -1,5 +1,6 @@ SPELL=indent VERSION=2.2.9 + PATCHLEVEL=1 SOURCE=$SPELL-$VERSION.tar.gz SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION SOURCE_URL[0]=$GNU_URL/$SPELL/$SOURCE diff --git a/devel/indent/HISTORY b/devel/indent/HISTORY index 59e506491a..622e56fe50 100644 --- a/devel/indent/HISTORY +++ b/devel/indent/HISTORY @@ -1,3 +1,7 @@ +2008-04-14 Jaka Kranjc <lynxlynxlynx@sourcemage.org> + * PRE_BUILD: fixed html doc installation path #14348 + * DETAILS: PATCHLEVEL++ + 2006-10-03 Juuso Alasuutari <iuso@sourcemage.org> * DETAILS: [automated] Removed UPDATED. diff --git a/devel/indent/PRE_BUILD b/devel/indent/PRE_BUILD index 863153e314..b756f9e18d 100755 --- a/devel/indent/PRE_BUILD +++ b/devel/indent/PRE_BUILD @@ -1,3 +1,4 @@ default_pre_build && cd $SOURCE_DIRECTORY && -patch -p0 < ${SCRIPT_DIRECTORY}/gcc-4.0-indent.h.patch +patch -p0 < ${SCRIPT_DIRECTORY}/gcc-4.0-indent.h.patch && +sed -i 's,docdir = $(prefix)/doc,docdir = $(prefix)/share/doc,' doc/Makefile.* |