projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12cd0e5) | patch
Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch from...
authorMark Wright <gienah@gentoo.org>
Sun, 15 Feb 2015 06:46:54 +0000 (06:46 +0000)
committerMark Wright <gienah@gentoo.org>
Sun, 15 Feb 2015 06:46:54 +0000 (06:46 +0000)
commitb7e81c3e65e0581f0759af9eee595e463b5812c2
tree0980460e7c2e248136d875ed9d43fc8de337c92atree | snapshot
parent12cd0e5ca07ad3f7efed4ea39f33351029535ca5commit | diff
Fix generation of /usr/share/doc/coq-8.4_p5/html/refman/index_urls.txt, patch from upstream: lists.gforge.inria.fr/pipermail/coq-commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc

Package-Manager: portage-2.2.17/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
sci-mathematics/coq/ChangeLog diff | blob | history
sci-mathematics/coq/Manifest diff | blob | history
sci-mathematics/coq/coq-8.4_p5.ebuild diff | blob | history
sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch [new file with mode: 0644] blob
sci-mathematics/coq/files/coq-8.4_p5-hevea.patch [new file with mode: 0644] blob
sci-mathematics/coq/files/coq-8.4_p5-no-clean-before-test.patch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.