diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild')
| -rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild index 6ccbc88c9a05..cc2c3416beae 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -60,7 +60,7 @@ src_test() { src_install() { insinto usr/share/agda-stdlib - export INSOPTIONS=--preserve-timestamps + insopts --preserve-timestamps doins -r src/* dodoc -r html/* elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |