summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMark Wright <gienah@gentoo.org>2012-01-30 06:54:53 +0000
committerMark Wright <gienah@gentoo.org>2012-01-30 06:54:53 +0000
commit588e0f70708ad7a971ae3484a94a9a6d15aed9cf (patch)
tree2ec20db84f4fc2ee9957460882d76cd82959c5c0 /sci-mathematics/isabelle/isabelle-2011.1.ebuild
parentVersion bump. (diff)
downloadgentoo-2-588e0f70708ad7a971ae3484a94a9a6d15aed9cf.tar.gz
gentoo-2-588e0f70708ad7a971ae3484a94a9a6d15aed9cf.tar.bz2
gentoo-2-588e0f70708ad7a971ae3484a94a9a6d15aed9cf.zip
Fix bug #400961, thanks to Mr. Anderson for report and fix.
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/isabelle/isabelle-2011.1.ebuild')
-rw-r--r--sci-mathematics/isabelle/isabelle-2011.1.ebuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/isabelle/isabelle-2011.1.ebuild b/sci-mathematics/isabelle/isabelle-2011.1.ebuild
index fc9f3b056c53..2dca16f2a6b7 100644
--- a/sci-mathematics/isabelle/isabelle-2011.1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2011.1.ebuild
@@ -1,6 +1,6 @@
# Copyright 1999-2012 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1.ebuild,v 1.2 2012/01/09 13:49:21 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1.ebuild,v 1.3 2012/01/30 06:54:53 gienah Exp $
EAPI="4"
@@ -109,7 +109,7 @@ src_install() {
dodir /etc/isabelle
insinto /etc/isabelle
- doins -r etc
+ doins -r etc/*
dosym /etc/isabelle "${TARGETDIR}/etc"
dosym "${LIBDIR}/heaps" "${TARGETDIR}/heaps"