Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir unecessary, dobin and doman take multiple arguments, dohtml estyle.sty).

Package-Manager: portage-2.2.1/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F

3 files changed, 14 insertions, 19 deletions

diff --git a/sci-mathematics/e/ChangeLog b/sci-mathematics/e/ChangeLog
index e5a71f0c6a11..18badcc90880 100644
--- a/sci-mathematics/e/ChangeLog
+++ b/sci-mathematics/e/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/e
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.6 2013/08/23 12:17:53 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/ChangeLog,v 1.7 2013/08/23 12:38:30 gienah Exp $
+
+  23 Aug 2013; Mark Wright <gienah@gentoo.org> e-1.8.ebuild:
+  Thanks to jlec for suggestions on simplifying the e-1.8.ebuild (dodir
+  unecessary, dobin and doman take multiple arguments, dohtml estyle.sty).
 
 *e-1.8 (23 Aug 2013)
 
diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest
index 1b16c4a97585..43f76591d603 100644
--- a/sci-mathematics/e/Manifest
+++ b/sci-mathematics/e/Manifest
@@ -6,13 +6,13 @@ DIST E-1.6.tgz 1627003 SHA256 91afe68f37ca2005a8eead3bdba0a4452de7cf7100369c9955
 DIST E-1.8.tgz 1832975 SHA256 636a5353046680f9c960d02d942df0a55af2e3941676df76e3356a334f6e842e SHA512 1b4358c636e8ea564ca942e1221e78234a9f0f793991f637bd7ec4d92eb9aa4a408a14c707405271fc017a9d63884d70bdfb0ed1b878383a1a44cfa57a7bdd51 WHIRLPOOL a917f756ce820344500712597db52d9e3716eab7eb60fb54fc15a247ecea25eb7a6bd3ac20bced771ece6296d78aaa7c64ea87a6239d6a7e3cd43d79fbaa83b9
 EBUILD e-1.5.ebuild 3456 SHA256 e899f3e21fc482abea857f3d0049334f58448b1eb94013023bc0322b8249a7ea SHA512 f93b7c448ef68bd53b3ad1401e9812b2a6ee917842a12560a02141d2fab81d51ab24a25a994c59d8febdccdce07d389a5eb686af5e38ec0eeedb47935ffb0d4c WHIRLPOOL 0c1d901f1725920fcad6cacc1e458bc56cba0f06e8ca94c80df74ae90d1fafc3622c70981f87cf26e217a5ae005e00c70b01b2e62dfcb9eb8cb9bad4f796112d
 EBUILD e-1.6.ebuild 3456 SHA256 4d7584a1bb0e4fa36230227ff8f079aa2cc9b8b74be44e8b4f0bccec64bd46f2 SHA512 83debc386a5dd90476ae5c9aa370534ac9efa54b9a8a9fe0b511fe5c02c7a2709ebbf917c3d0e59b79d47dd8747289aa59c1da2dc79237ef78f010ea6e9858ee WHIRLPOOL aaf143113d9193ffd05333a4d85adab86b84ef5e850f68ee1a8b2806d141cf48b347eda0c757037ac8561701ab46b7970415d21198bfcc4bac35559bb7ed3b3b
-EBUILD e-1.8.ebuild 3456 SHA256 ba79809222dd794ea3bdcdacb1f87652fb6c9e585c6d284de7f998a94013bde7 SHA512 b12ce01c882f416f536d8f009fc7ebad70819ea6307cb908b80f45ce25c99cedcfc6062d97b6a8c0c3180602617c14866762d82a49bcd0ca69a5e41e2fbd7eee WHIRLPOOL 71b3f6fb4e86290a4ccc0b1231fdc0ba7aa5239eb8e5b7ee17ae1c171861a799d1f39b65ebd02cd791e960c11496726d38f67a26c601883b4a0c4d08b1d8c96b
-MISC ChangeLog 912 SHA256 0bae327c72a9228a4ae86ef7d58df79623cbccc8cf9fb0b36bc5cc1d00ada109 SHA512 b9cff16ae0f8668a94878ec96cdeb2070a615eaa01209d27791e9c0b4b7d6bb8c7a080e1234994bdfc127091145fb36d25ba5dc20eb5a8ff27041933ced74367 WHIRLPOOL e358b353187eca15b9525810739de554df4debe05e37e7d338c4b0900d83c3536c91a74e574c0b015e43be3bae522fe287d00a45e0839d27ed107eb1d5a67f68
+EBUILD e-1.8.ebuild 3277 SHA256 ca955552e14f2d83ba6914108025d7608dc1976475e6ffb02fc78cb71b7ff7ed SHA512 bbbf2df9c9778a7354bacb21ab5f95bb2a965821e07db02e7687f434a4972618340f54cb83c89669802ffb118b2d41d6937f5c00e50a8200660ea1523ade3174 WHIRLPOOL aca1e9eb5e18badaa6a3ec5c3cae891a0f6cb3b8f3a51cf32439d3f82097b56d72024762da8fdd08f7b5599eb7c52553b1d209010fa99a8cc07d8130d4466c83
+MISC ChangeLog 1121 SHA256 13615f38f134f721a4bc9aff7e4c405b44597c0bd1e11b6cd01d7c0e51ec4a56 SHA512 2bdc1bea4d27d7964f9db3f41a3090abd52a8d70b5b13e48727ee4daba6c458057a9f62ae022daec66ae1fde6e2f1da8b431b43b210333f432a7f3d3ee078104 WHIRLPOOL ccf47c3f7a2e34295d0eba8e8f4555090ecd570982d6e8c5ef99be6fdd4656c488edbcf8ec940e2f57b710468cbee8106f0e56d6dcc7ad82e9b14f25d26ac320
 MISC metadata.xml 1349 SHA256 ca931b226d8e8afe4fdf13d8c0a9b7a8dfa87db6d378d239ddf0b2d4b9d71645 SHA512 1692dcf5f7de092d8efd0db48d6adb271f0a0b904b0d184544a69bb6b2155e87524a6db68a023ccc4c5837f8c5b564c1b3db340d22b47a3121a680fffebb2a09 WHIRLPOOL ba4bd5eb6477aadc8aedb4e7c47cf9deaa34760a8ff6e59e82ceb5a107340dde4d11df02b40baf745b15bfcb1f22ad5748d158f2a0c45db2ec94a6c0c9719ce9
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.20 (GNU/Linux)
 
-iF4EAREIAAYFAlIXUo8ACgkQoBEVQmGOlx/zWwD/eUWM0WzX/ITx497XA8ZVifZl
-xvFY6hIS2es40zWJhQ0A/07/AEYM/Bvz2POQJfAZZDJwZAxCGVGSEmiR8N2Py+JC
-=eQub
+iF4EAREIAAYFAlIXV2EACgkQoBEVQmGOlx++lwEAs5vjzBdw/bk7c/IFKDmcFCvJ
+Fg5jMVsxCHwNrPBSWD0BAKwEwPI3JUKQVVaGgj1YUFbxZ92A+QvIvEQtR2UPA4NM
+=+ANW
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/e/e-1.8.ebuild b/sci-mathematics/e/e-1.8.ebuild
index b7ba66be786f..e851103c5d74 100644
--- a/sci-mathematics/e/e-1.8.ebuild
+++ b/sci-mathematics/e/e-1.8.ebuild
@@ -1,6 +1,6 @@
 # Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.8.ebuild,v 1.1 2013/08/23 12:17:53 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/e/e-1.8.ebuild,v 1.2 2013/08/23 12:38:30 gienah Exp $
 
 EAPI="5"
 
@@ -35,7 +35,7 @@ src_configure() {
 }
 
 src_install() {
-	for i in "${S}/PROVER/eprover" \
+	dobin "${S}/PROVER/eprover" \
 		"${S}/PROVER/epclextract" \
 		"${S}/PROVER/eproof" \
 		"${S}/PROVER/eproof_ram" \
@@ -47,11 +47,8 @@ src_install() {
 		"${S}/PROVER/ekb_delete" \
 		"${S}/PROVER/ekb_ginsert" \
 		"${S}/PROVER/ekb_insert"
-	do
-		dobin "${i}"
-	done
 
-	for i in "${S}/DOC/man/eprover.1" \
+	doman "${S}/DOC/man/eprover.1" \
 		"${S}/DOC/man/epclextract.1" \
 		"${S}/DOC/man/eproof.1" \
 		"${S}/DOC/man/eproof_ram.1" \
@@ -63,9 +60,6 @@ src_install() {
 		"${S}/DOC/man/ekb_delete.1" \
 		"${S}/DOC/man/ekb_ginsert.1" \
 		"${S}/DOC/man/ekb_insert.1"
-	do
-		doman "${i}"
-	done
 
 	if use doc; then
 		pushd "${S}"/DOC || die "Could not cd to DOC"
@@ -73,13 +67,11 @@ src_install() {
 			HISTORY NEWS PORTING ReadMe THINKME TODO TPTP_SUBMISSION \
 			WISHLIST eprover.pdf
 		dohtml *.html
-		insinto /usr/share/doc/${PF}/html
-		doins estyle.sty
+		dohtml estyle.sty
 		popd
 	fi
 
 	if use examples; then
-		dodir /usr/share/${MY_PN}/examples
 		insinto /usr/share/${MY_PN}/examples
 		doins -r EXAMPLE_PROBLEMS
 		doins -r SIMPLE_APPS
@@ -89,7 +81,6 @@ src_install() {
 		ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" \
 			|| die "isabelle getenv ISABELLE_HOME failed"
 		[[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty"
-		dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc"
 		cat <<- EOF >> "${S}/settings"
 			E_HOME="${ROOT}usr/bin"
 			E_VERSION="${PV}"