diff options
Diffstat (limited to 'media-gfx/aoi/aoi-1.6.ebuild')
| -rw-r--r-- | media-gfx/aoi/aoi-1.6.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/media-gfx/aoi/aoi-1.6.ebuild b/media-gfx/aoi/aoi-1.6.ebuild index e622d11792c8..1c8b66e40be4 100644 --- a/media-gfx/aoi/aoi-1.6.ebuild +++ b/media-gfx/aoi/aoi-1.6.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2004 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/media-gfx/aoi/aoi-1.6.ebuild,v 1.6 2004/05/05 16:55:16 sejo Exp $ +# $Header: /var/cvsroot/gentoo-x86/media-gfx/aoi/aoi-1.6.ebuild,v 1.7 2004/06/07 21:38:00 agriffis Exp $ inherit java-pkg @@ -39,7 +39,7 @@ src_install() { DEP_APPEND="jmf" dobin ${FILESDIR}/aoi dodoc HISTORY LICENSE README-source - if [ -n "`use doc`" ] ; then + if use doc ; then mv ${WORKDIR}/AoI\ Manual/ ${WORKDIR}/aoi_manual/ dohtml -r ${WORKDIR}/aoi_manual/ fi |