isabelle doc requires a symlink

Package-Manager: portage-2.1.11.18/cvs/Linux x86_64

5 files changed, 45 insertions, 37 deletions

diff --git a/sci-mathematics/e/Manifest b/sci-mathematics/e/Manifest
index 97414a4e1964..0aeb3df308e3 100644
--- a/sci-mathematics/e/Manifest
+++ b/sci-mathematics/e/Manifest
@@ -1,14 +1,16 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA256
 
-DIST E-1.5.tgz 1689077 RMD160 49742d441d205dc76a3278d9544100a3c6732a2f SHA1 d7fcf5aacfa309b3e2a93f1d7d8fdbf6ccbc3c06 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39a9e61b37f5e46f
-EBUILD e-1.5.ebuild 3465 RMD160 0aef9ecb7f8b4838d14eafdab1204bb98b35e606 SHA1 4a8468aa61e2cd9fe5785c4f987fdccd390399d3 SHA256 c735f5ca5b78a7a1b679984e39876a2f21a718051d4d25a899f59339e88bf95a
-MISC ChangeLog 384 RMD160 39976a96eaa81068870fb309609cfe16191761f4 SHA1 ba5659b7acaf5c9bbdf9bd995ebb63bb48dcbdb9 SHA256 23eb422f89b53adb4899ac4ef1708de6eaa9d3ee8fcfdf7221cc342f785a99fb
-MISC metadata.xml 1323 RMD160 366373798425f0daedafeadadbe7cf62844f0506 SHA1 f08122178cfdc4f190c3b9474861d64ae6fbbfdf SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0
+DIST E-1.5.tgz 1689077 SHA256 37239f169a9af3bb64edd205abe5022a043a1f4ea9ec694b39a9e61b37f5e46f SHA512 a2534c9e278741fed2f0005f5fa2b4ea60d71babd4e38c207a48f496df6916bf9ff4bf0ba41ae899eaeeeec7235ff1d759629dbcb627dd8766168f9bc98a4894 WHIRLPOOL e659d8e5917c505f2976532f0a19f0e2f845230c656f4cc62c5538f760e2559b06c0d9e47bc0e1df7eb9000791d0fa09ef5bf94dcc43f233e7514cffacf6893a
+DIST E-1.6.tgz 1627003 SHA256 91afe68f37ca2005a8eead3bdba0a4452de7cf7100369c9955304c8609b70c90 SHA512 769aa4d04595181285be49c1f21d7e8a47936fab78b5d6f2975910a64d4928cd2be97d781c4092dadab48d213a6bc788b8247a2310cf71042b1339129fe0cdf2 WHIRLPOOL 96c82427132017ee3f78c644ede9a018c74d59d7029fe006435baac9502d6cf6b097c51eeb1078b98ce8a208572956db756dcccd6529bcaba32519596dabf486
+EBUILD e-1.5.ebuild 3465 SHA256 c735f5ca5b78a7a1b679984e39876a2f21a718051d4d25a899f59339e88bf95a SHA512 a0edfb90ef340aba66da23fa1bca2a0a133400c015582eeae7a5aeff9d2ab6416af42a606499f5bb562064c34619726e5c3ee38b90353ef3dc21fddef5a0c740 WHIRLPOOL a674419b44241e04bc9d286c0d5e051df02b347479449a9de0400bf517f2ac1bb0410ba60729dbbdceb714c498267a6254ede2600389f98418450e83655aa437
+EBUILD e-1.6.ebuild 3465 SHA256 486d0e03828d708789bb87e0c466dba37c0cb7f2e322bfcfb6bdfd1a7ab4cffb SHA512 eb69b3a6ad2c257c0d7021810a8a4db539f24d9749f18860f30607285c84e2063058092c092070b1d5e52ea0494502bfbb7158026013941e1a2c1ebd68824451 WHIRLPOOL 9b9d840b0a34203c9c31e15162ff858d8e3dd1a5d760e9cce62ff828a29256f616939fc00322eeb7d73c97f8b123f5b53fe62152dc5bc5899b86134548af653b
+MISC ChangeLog 495 SHA256 7a82c11ae40b502e701c801a361feec935e99df3be416f09a114c00516ec9d5c SHA512 f240cb3603724df8d7185d9ffbad8ac7b03894e77d84fc1bdbbf21ede51a7771d79d53414d1fd3df71c1e09e7056e7a617b314cba1c13ab93fae7d0019cf3ffc WHIRLPOOL d60e82b31024527e8c9ef2b04405b93504f6133e6ea47668453b7ec2842a8aa9643ad52ee1aabdba8b7d7a7c9fef8f26d80310cf4b7c0910cbc0f43a835aea3a
+MISC metadata.xml 1323 SHA256 ee934514d44fa85025ca82639eae1ae007ca9585d86a82bf5b3b413b31de1af0 SHA512 674856ce26521d4c3c02912824356af15e46f54d9ca632f9eb86e1aaf157581888d7f33916fa1740a258d113e516048daadea08c2e2e99bf39ce308781399605 WHIRLPOOL eb59e249d34aa7c3fafec8f7baa266079ad7e23c25f7903a7a1c977a72407812577bbdff94a97ba6f80bdce95b5f0dde308a70b0b0d45c443dc895a68a0d9fbd
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.17 (GNU/Linux)
+Version: GnuPG v2.0.19 (GNU/Linux)
 
-iF4EAREIAAYFAk/FcAUACgkQoBEVQmGOlx/oLwD/QLTxSnzNhC79bVmHZ0Gdmv43
-Km2P/GCXaBLEtpllXVEBAN+KLrUcmVpiTV6rr19a6APfX7eWifIYBjfvE2Mk/6e8
-=Eekz
+iF4EAREIAAYFAlBbFgAACgkQoBEVQmGOlx8sWAD/fIdJxfXsQqjKPMGweRimnhTm
+Vwz0k25RW5KyV1dTRhwBAJ7ks4k4nLDRbSsu04SeZj5DB02UWIAJHStE9/g+c0JS
+=OqdQ
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/isabelle/ChangeLog b/sci-mathematics/isabelle/ChangeLog
index f88149ff7d5a..aeafc9161fa5 100644
--- a/sci-mathematics/isabelle/ChangeLog
+++ b/sci-mathematics/isabelle/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/isabelle
 # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.5 2012/06/15 14:10:40 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/ChangeLog,v 1.6 2012/09/20 13:07:43 gienah Exp $
+
+  20 Sep 2012; Mark Wright <gienah@gentoo.org> isabelle-2011.1-r1.ebuild,
+  isabelle-2012.ebuild:
+  isabelle doc requires a symlink
 
   15 Jun 2012; Mark Wright <gienah@gentoo.org>
   +files/isabelle-2012-redundant-equations-in-function-definitions-error.patch,
@@ -40,4 +44,3 @@
   +files/isabelle-2011.1-graphbrowser.patch,
   +files/isabelle-2011.1-proofgeneral-gentoo-path.patch, +metadata.xml:
   New ebuild, thanks Mr. Anderson for earlier version, fixes #397995
-
diff --git a/sci-mathematics/isabelle/Manifest b/sci-mathematics/isabelle/Manifest
index d1d76ee9ee90..dac57537a949 100644
--- a/sci-mathematics/isabelle/Manifest
+++ b/sci-mathematics/isabelle/Manifest
@@ -1,28 +1,28 @@
 -----BEGIN PGP SIGNED MESSAGE-----
 Hash: SHA256
 
-AUX isabelle-2011.1-gentoo-settings.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a
-AUX isabelle-2011.1-graphbrowser.patch 358 RMD160 debe029504aad72c611f783569ca6e5e07d6fcfa SHA1 5067aa4f60a9185d6b7ca2e4d9511dd93ed6f239 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115
-AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 RMD160 9060454ab5480056b931b7a663137c80efa73b42 SHA1 e447977ddfbf08de46695f7b63e0ce2af3b55ac5 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a
-AUX isabelle-2011.1-reverse-line-editor-order.patch 427 RMD160 b3c672e939541e3eeb2f4a866628c668cd5d2898 SHA1 9095831f761de457915a10a5391a260de4b8b910 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0
-AUX isabelle-2012-gentoo-settings.patch 2107 RMD160 4ebd777b8c498a833d0264ddf67f367003a424f2 SHA1 b073aae7982a29bfc200c985e53051b882f3aa7d SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1
-AUX isabelle-2012-graphbrowser.patch 354 RMD160 68eaee7f3e8c8b92f608cf5936ea8a4315634b41 SHA1 508be51f17ad6bf08d5df71535298f42177a736a SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7
-AUX isabelle-2012-redundant-equations-in-function-definitions-error.patch 1319 RMD160 6b188f257c3736d86dda9903c45d9dfa2123b618 SHA1 999028e7f3ea4a184b7311a200ea0cff2c038134 SHA256 87d766c5140708710935bc4156fddb8901a80fa5462d22974290f85bc13b4038
-AUX isabelle-2012-reverse-line-editor-order.patch 423 RMD160 6a51017a64f70fde99decfb2e0b09e281836ec6b SHA1 ff5945dd644dba3b0fd0fcd49ec793e9bf10c2ae SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e
-AUX isabelle-2012-signal-handling.patch 457 RMD160 a42238e2c6fba50087d1231987fddf2613ed154d SHA1 3d8fbab8cc85f0985871e8fdabc308a800cf1737 SHA256 df6e274300a8ac440fa140c7bdb130c42191a45b40067bac46fcf8141861df6f
-DIST Isabelle2011-1.tar.gz 42239059 RMD160 70dadeaf38ae71ff9871f8c5b9ba823c4d5cbcc7 SHA1 2f514bc2cff7e7f7c75a3cb15c71ea71009f8df7 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08
-DIST Isabelle2012-doc-src.tar.gz 2688496 RMD160 cbef295dc2f6b27ab32815b9395dc38f0f344ea8 SHA1 2ed623a40488b7c200282457c240af575fe4b3e6 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097
-DIST Isabelle2012.tar.gz 49529865 RMD160 62de99689ba65e2d4ff02d9590397db3d3115cf0 SHA1 9ec664d48bb15b679c7316820aa03ba37d6fc56b SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0
-DIST jedit_build-20120414.tar.gz 7509120 RMD160 f3977207db8df6ccaf85015640a938cc3a475c4c SHA1 6425f622625024c1de27f3730d6811f6370a19cd SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41
-EBUILD isabelle-2011.1-r1.ebuild 7158 RMD160 a6638676fb40ef87eb2ed3076b8618a451c641d7 SHA1 dfcdf9aa011a72236c5718bc16b08c31d45498fa SHA256 4a751a8893be2d92e4e1d709209ee94f68f3555e73c045136fb41ea83b918a1c
-EBUILD isabelle-2011.1.ebuild 4036 RMD160 363ef11acf50946dcde1151643e053d7c1064339 SHA1 cc9e14c8b1893c03d2efcdfd0262710b23d725e3 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020
-EBUILD isabelle-2012.ebuild 10080 RMD160 176c79f35fa5550e2b86710e8838d0d5fafab3b9 SHA1 51dca0b5e83c2909213de6655ac5e23c5080267b SHA256 310f2f53477b461184da3b39a41b622205aac41f180ff7724cd21714974146cb
-MISC ChangeLog 2189 RMD160 bc5bed517275cb98dc94a594f735097e35b0fb45 SHA1 39a8d1ef8dd945e9717240243a518ed842665161 SHA256 940938ec2179ea754503ebaa31865d6bb619c2e9744e5f4ad9f3abd9ae8c6740
-MISC metadata.xml 2157 RMD160 ee8247053938f0b3686a6e0ea8dbfe0cf925a700 SHA1 459ec3cc74b389f410d26c2da55bb89a5d842a11 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6
+AUX isabelle-2011.1-gentoo-settings.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
+AUX isabelle-2011.1-graphbrowser.patch 358 SHA256 3c4a1567e06ea062f3064a7fb4555a645591732dc2d77daf7b4c49de6f640115 SHA512 5e91d2eeeff310fb074c7475e718ddd73c7b2ecff00f75ac965471c5348041697cebc4d3cd123e94e7ac0c9b7649008bb2a19aa4d28c09e7720435477ff1c6e2 WHIRLPOOL 8d2d3772269878fc72192d21c6b4631a72bb60d3ae5d859acefa44c2510e8e8ff1b97517083f1de3c4b1354c8eb3918e06539a750974ae53c3d29f2372f7d467
+AUX isabelle-2011.1-proofgeneral-gentoo-path.patch 1265 SHA256 08f6dae3f3157331ac83a3204f95e75838725175994c54f25b5f71715836556a SHA512 37b05102ffbff468a237da932bfe45c1abafe7fe9bcd0d33ee45a527762bd1eb6eb60e9ed9e1bae3117f558ae909d12dd4e5fd8b94520ec4cdc3f279e0af5332 WHIRLPOOL 722fd9126adfbd725356271d52dbd268a326f181d8a2941c7f8452c6cc1eb73d72c0d1550649e01b8922e576970175b099316e4bd744fe60c75f2cbb9e549805
+AUX isabelle-2011.1-reverse-line-editor-order.patch 427 SHA256 1a664c94d400d88dfa5af9af3bdb4c90bacd12792286b3c4933f62ca15e5b9a0 SHA512 43bf3f5c6e9bc5671f0ae1c95fcce3ad41073a8d69819e1268167b45671df2d7cf7ac6cba7700fc7f43894d9614544ff5f24ee01d61dace8e85d87a92d6f4ba9 WHIRLPOOL 0c4ed331d70b40bce160a3eddbe83fd4b08add83516c6cd8ce60cb2642f2f746dcc8a1a852e3248959ea133b03a8beed3dcfd9527d36f9e2c2649f85ec31ee8f
+AUX isabelle-2012-gentoo-settings.patch 2107 SHA256 5076d6665b367a9b08a2e56ba901028e90910a444c2c02322ebf8d9d9ac328b1 SHA512 ed2be9c5745391659026c2a971206abc55a3331a122c527b53a2863c55d2bcaf2308b8871177cb3c9d6a77ab49ffbcc52e9abfec7ccfe85326e326714c6e0592 WHIRLPOOL 577a7b07a6ca3838a68043754506012d2434bd63bbf37bd496a397b0aa5fb0c43f4c45ccd208ba76207475be4fbcfc189058c0b00c336001bc2561c460119fbe
+AUX isabelle-2012-graphbrowser.patch 354 SHA256 0b6d3a3736ec89ad870ef24bb2ba3c2006a907e1a29a113e3f63a5ad609ec4b7 SHA512 ef850f554a41292e6a1811489309b9c13404191258acdf46d4739360b951634aaa76d25fcbef3784a54c25972b6a81ec2d4d151b6f53684224cdec286d4082c0 WHIRLPOOL dec708ff2653bdd50af5cccedd31c5e6f06d3e9910c4155d53c4a24b9b70c868226a4c68a12fadac868296fa95024799ef9cd027fd56f1d7c4e825cacddc74f1
+AUX isabelle-2012-redundant-equations-in-function-definitions-error.patch 1319 SHA256 87d766c5140708710935bc4156fddb8901a80fa5462d22974290f85bc13b4038 SHA512 70697b4c5c367af64ff77c809618c735ad364665e63f69154dae95ff1079efca04c77b3e7595d2f378fa7c7b8b382a5ebf8edd27bafc85a264d57e98ec27f0b4 WHIRLPOOL de3ed96c6070a72b2bf7e266ef0ad0a66487dcf320fcdcb7aa725052b205b39141c7cb01df6bf6c373e850ea4bd1d87daf2e949bc303ecee16248736672b2272
+AUX isabelle-2012-reverse-line-editor-order.patch 423 SHA256 51a172b46baaaa269488801bad3d46ba4ccd0e3df35b2c15dc9b75592ceb843e SHA512 de9499e5c0d9bc22a72ef15320490fea7e71afbfe1ab6bc3a6a71a866eda2050833d47aadc7c0c7b106d4f0a28fa9a062ec2d9a6c15bf6c0eedd54274df20515 WHIRLPOOL 3a96e039df568ffd449dc0dc18a888d55a5b3db2940beb7f7e28628e0abdd3bd4132162abc7cac8c633f562cb2b18afb8a4e84cea26fa18f086488bfd3781a48
+AUX isabelle-2012-signal-handling.patch 457 SHA256 df6e274300a8ac440fa140c7bdb130c42191a45b40067bac46fcf8141861df6f SHA512 a505385c64ab1d4687543a1f12cfe0be6c50947161860b25a4abac3ef28219ee51f6f2c560ae5fa6894c2be191836c84ba3a0cf3cc6c65e9ca3a6c07aa8ba823 WHIRLPOOL 8151a64ea11a5d800aebb64d9e0d622aa428ef7e071d3d8ff90551855bd753f5c82e3af79bc09c95ca1e6cb3780e2aa8786031e71be1cd62072c5c4bbe81654f
+DIST Isabelle2011-1.tar.gz 42239059 SHA256 48d77fe31a16b44f6015aa7953a60bdad8fcec9e60847630dc7b98c053edfc08 SHA512 213207951455395659a91b0bc6c8520c084cb6c75098c8f24c0800e41474c90c92aae86ffb99415142f6cf63d569556661ba350024fe458daa54a5cc9db372fd WHIRLPOOL 7e7868c3f464f507aceb8e1f648c04394fdd69746242179e66cfad64f927cf4d6aba41970428da5e45cce90a30bcee29bdc373d8a9e4943eb61cd97480d0a366
+DIST Isabelle2012-doc-src.tar.gz 2688496 SHA256 e18965fe0f7f89b286d4707e38201f1edbea81f6b26aed59d63a633c03fec097 SHA512 5aaea56eb67e535d745d63314278b6ee8469e6d3bbf4ce4d7b3f5e04b24557783b56d50d905a5ad69187c42f44407023c95a9bfb6faab125c21edff7638ff21d WHIRLPOOL 278b63a243950b1596376ee04cbfddb7a93c747e9f6ee66c5b069ca0dae4ca8d10bef43e03069b6186a19c703f71a585633fc47c3c1a15de3a886ff468232127
+DIST Isabelle2012.tar.gz 49529865 SHA256 b86f957dee221041f92c9d4ced4758d45b4950339743d0d58b1ea6061e2b53f0 SHA512 1346f563233eba10bc14f7d140706b8bfba8e832f7ee5887316c829926136af07d700914a925272d8adc1275b0bdd682540518957910c136a15bfc60d61285a0 WHIRLPOOL 23b764a1a0044a9525d058e95da318f4425fadf7660edc8ab8f35b248f98dcff0dba2e533ff18d8bf47ea164cec12a9648642749de2a49887bbe84ed4e71a68b
+DIST jedit_build-20120414.tar.gz 7509120 SHA256 3c5840fd01b87013b05a92742d41f66f655df6fe9edef1525c6722f92d8f3e41 SHA512 2e2f0db4964a041ba54382a9c787246e1d433e43167019c6ea8d4cf6beb84ce438c0bc559d2588229b0166c91bac603bed39abc45d5d4267020f55eaba1aaa0c WHIRLPOOL 40b883943bde312b4c7adc43607ba4759e5ebe22cab3c922c81393375f917af21d4a8dc068e5692ffcf7bdfb1e7fe3081358dc8e346d1942582bf79e249b0cbb
+EBUILD isabelle-2011.1-r1.ebuild 7232 SHA256 3d209f9763ddc5a9f18c32770f681d6834e6184023402f272d2f609aa6809ed1 SHA512 cf8134d2156ee654bb2dc0492c8b9e13d48c3923536f27b4c7db33fdf50bbb59b38133ea325ff781da0b40c0b38d5c8face3bbd80d3ca405a2d14ec1cd599e7b WHIRLPOOL e591ca39de3ba588a1393c5c1ff7f507ca9a9f899ea5ec99196b5fd9c100adf8d99b251ffbc881bd032f9f3d491759bc6d8fe0231aaaf1ee56f93e9f6e025fd0
+EBUILD isabelle-2011.1.ebuild 4036 SHA256 6063b32c39e50c42e81051197ce46a735bb16448c13b5ff1f8af5018f07b3020 SHA512 430524175bd5fbf4beb325a93ef746bf5df5c2beabc4b6d9536c1f7370e0c1babdd9bf00a617076a74ff892e5909ffe01f791a7121bdf3fb3cd817eb42f4bf66 WHIRLPOOL 3e3bcc27aa6ff8f4853fb142c0a4312bb7eeb908639a3fc826ae882a16fca60c03374387f4e06b19f4b079afb562d782d786c75c1c4a36c2cac2db47c0f04e18
+EBUILD isabelle-2012.ebuild 10131 SHA256 651a2e844fb14110f4f60fb06772cfdc05892ed8a7ef2babf90f378e88ad2c1d SHA512 249f3c8001f85a883cacd50713816a0e0887ac7ec4727b873df7d475a3519d90ca3997842242c811fc8b00eb2da9b4cc5c78db1b2cdd43e3e8e10d2ed0187e2b WHIRLPOOL 7de3aa5571b2b565c2967a92f1e122fe6b38e9df1c3df22b0026bac06c3909b45b77bc853fd9238c00924c9f0b037ec4e2cb8af0b394f5f5c15a6497b1d65ef1
+MISC ChangeLog 2321 SHA256 2a9971388c8fec9a74c7eed0b368b17df1bdaa6925af0d1a1711ea01495a5464 SHA512 f384285ca5d7fdd887d34cabaf38f1f2b199631b30e19a23adb4dab3c0d5fbc12fa1b2b0cd65472d3d3031d65b098cb0e09a2620b0662ad40ca66d619c7c1e1d WHIRLPOOL 6d0f06c99766344750bc21c683a2b97bb1217b774dfd42b78ecdb543b83b3b37592e4db326d66f09b73f5c0db05266b47959ea8e71027d097155b91265b154ca
+MISC metadata.xml 2157 SHA256 bdcce608d1d69f75e4aa0c809f85885dd025cd9ed2c1a12552a446033c4a7fa6 SHA512 68420728ce6789fdd6f4813d53b4ccbabe08d4a66b5c8ef17eed1a107fb48cb2abe121dbc4be606bff7b8430b2ac8a3f2f6dcf63b7f061e4c91b48df70b12d8c WHIRLPOOL 95bc13a50a4fdbd470dd7de4c64fcaf02f523ea3660d95adb5278968c64da7b3a0d3f448c4aa4a0558e3fd4ae85cd7ad020bc9f81295b1ac277fbf1aac372602
 -----BEGIN PGP SIGNATURE-----
-Version: GnuPG v2.0.17 (GNU/Linux)
+Version: GnuPG v2.0.19 (GNU/Linux)
 
-iF4EAREIAAYFAk/bQm0ACgkQoBEVQmGOlx+pZAEAwfmhDzkQ6Xs89Es6xhfe8D3N
-BZjhgU+RZmrRsf7cDvsBAL8s9xF7a2iI6oAgnL0+vlvXWITCTHmfo+ISt/X5KJfe
-=u1hX
+iF4EAREIAAYFAlBbFSoACgkQoBEVQmGOlx+oogEApvPX8Hnp9qVRtPYwyEAIOC0o
+hxqCkusafT0EtwVljjAA/jkLASd/6HBL0HgVivBBxSFSHRPIWf7uTRi7AYmiV+jQ
+=lOeB
 -----END PGP SIGNATURE-----
diff --git a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild b/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild
index 4719507e7d75..fda73d4abfad 100644
--- a/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2011.1-r1.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-r1.ebuild,v 1.1 2012/05/30 00:45:06 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2011.1-r1.ebuild,v 1.2 2012/09/20 13:07:43 gienah Exp $
 
 EAPI="4"
 
@@ -189,6 +189,9 @@ src_install() {
 
 	docompress -x /usr/share/doc/${PF}
 	dodoc -r doc
+	if use doc; then
+		dosym /usr/share/doc/${PF}/doc "${TARGETDIR}/doc"
+	fi
 
 	dodir /etc/isabelle
 	insinto /etc/isabelle
diff --git a/sci-mathematics/isabelle/isabelle-2012.ebuild b/sci-mathematics/isabelle/isabelle-2012.ebuild
index a938d0371b22..e4bcc69fe269 100644
--- a/sci-mathematics/isabelle/isabelle-2012.ebuild
+++ b/sci-mathematics/isabelle/isabelle-2012.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-2012.ebuild,v 1.2 2012/06/15 14:10:40 gienah Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/isabelle/isabelle-2012.ebuild,v 1.3 2012/09/20 13:07:43 gienah Exp $
 
 EAPI="4"
 
@@ -160,7 +160,10 @@ src_install() {
 	doins -r src
 	doins -r lib
 
+	docompress -x /usr/share/doc/${PF}
+	dodoc -r doc
 	if use doc; then
+		dosym /usr/share/doc/${PF}/doc "${TARGETDIR}/doc"
 		# The build of sci-mathematics/haskabelle with use doc requires
 		# sci-mathematics/isabelle[doc?]. The haskabelle doc build requires
 		# the doc-src directory stuff in the isabelle package.  Which is not
@@ -246,9 +249,6 @@ src_install() {
 		doexe ${i}
 	done
 
-	docompress -x /usr/share/doc/${PF}
-	dodoc -r doc
-
 	dodir /etc/isabelle
 	insinto /etc/isabelle
 	doins -r etc/*