diff options
Diffstat (limited to 'dev-java/jess/jess-6.1.7.ebuild')
| -rw-r--r-- | dev-java/jess/jess-6.1.7.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-java/jess/jess-6.1.7.ebuild b/dev-java/jess/jess-6.1.7.ebuild index 3c50eb118c96..4699e8ea5b2c 100644 --- a/dev-java/jess/jess-6.1.7.ebuild +++ b/dev-java/jess/jess-6.1.7.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/dev-java/jess/jess-6.1.7.ebuild,v 1.1 2004/05/30 03:15:37 st_lim Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-java/jess/jess-6.1.7.ebuild,v 1.2 2004/06/02 22:28:05 agriffis Exp $ inherit java-pkg @@ -31,7 +31,7 @@ src_install() { dodoc README - if [ `use doc` ]; then + if use doc; then einfo "Installing documentation..." dohtml -r docs/* insinto /usr/share/doc/${P}/examples/ |