diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:28:47 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2007-12-17 21:28:47 +0000 |
| commit | 43b6b594b3cbd30e091f1a41a17c30309ebee97e (patch) | |
| tree | 73263f2e59a49c99dba35a741ddbf5e9f857ad2d /sci-mathematics/coq | |
| parent | Package.masked latest sqlite until problems are fixed. (diff) | |
| download | gentoo-2-43b6b594b3cbd30e091f1a41a17c30309ebee97e.tar.gz gentoo-2-43b6b594b3cbd30e091f1a41a17c30309ebee97e.tar.bz2 gentoo-2-43b6b594b3cbd30e091f1a41a17c30309ebee97e.zip | |
no need to dodoc the license
(Portage version: 2.1.4_rc10)
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.0_p3.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.1_p2.ebuild | 4 |
4 files changed, 11 insertions, 7 deletions
diff --git a/sci-mathematics/coq/ChangeLog b/sci-mathematics/coq/ChangeLog index 6887aae5d3ec..906985461e36 100644 --- a/sci-mathematics/coq/ChangeLog +++ b/sci-mathematics/coq/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/coq # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.21 2007/12/17 21:26:44 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/ChangeLog,v 1.22 2007/12/17 21:28:47 aballier Exp $ + + 17 Dec 2007; Alexis Ballier <aballier@gentoo.org> coq-8.0_p3.ebuild, + coq-8.1_p1.ebuild, coq-8.1_p2.ebuild: + no need to dodoc the license *coq-8.1_p3 (17 Dec 2007) diff --git a/sci-mathematics/coq/coq-8.0_p3.ebuild b/sci-mathematics/coq/coq-8.0_p3.ebuild index fc6f38255b6c..3177d71cb4ea 100644 --- a/sci-mathematics/coq/coq-8.0_p3.ebuild +++ b/sci-mathematics/coq/coq-8.0_p3.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.7 2007/10/20 15:55:05 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.0_p3.ebuild,v 1.8 2007/12/17 21:28:47 aballier Exp $ inherit eutils @@ -70,7 +70,7 @@ src_compile() { src_install() { make COQINSTALLPREFIX="${D}" install || die - dodoc README CREDITS CHANGES LICENSE + dodoc README CREDITS CHANGES if use translator; then cd "${WORKDIR}/${MY_P}-translator" diff --git a/sci-mathematics/coq/coq-8.1_p1.ebuild b/sci-mathematics/coq/coq-8.1_p1.ebuild index d9a5c6ed9599..a5ac8a0dee43 100644 --- a/sci-mathematics/coq/coq-8.1_p1.ebuild +++ b/sci-mathematics/coq/coq-8.1_p1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.3 2007/10/20 15:55:05 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p1.ebuild,v 1.4 2007/12/17 21:28:47 aballier Exp $ inherit eutils @@ -56,7 +56,7 @@ src_compile() { src_install() { make COQINSTALLPREFIX="${D}" install || die - dodoc README CREDITS CHANGES LICENSE + dodoc README CREDITS CHANGES if use ide; then insinto /usr/share/applnk/Edutainment/Mathematics diff --git a/sci-mathematics/coq/coq-8.1_p2.ebuild b/sci-mathematics/coq/coq-8.1_p2.ebuild index 42a86fbe9a82..2fe44cf4df01 100644 --- a/sci-mathematics/coq/coq-8.1_p2.ebuild +++ b/sci-mathematics/coq/coq-8.1_p2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p2.ebuild,v 1.1 2007/10/20 15:37:29 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/coq/coq-8.1_p2.ebuild,v 1.2 2007/12/17 21:28:47 aballier Exp $ inherit eutils multilib @@ -58,7 +58,7 @@ src_compile() { src_install() { emake COQINSTALLPREFIX="${D}" install || die - dodoc README CREDITS CHANGES LICENSE + dodoc README CREDITS CHANGES if use ide; then domenu "${FILESDIR}/coqide.desktop" |