aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Maier <tamiko@kyomu.43-1.org>2013-07-25 19:00:09 +0200
committerMatthias Maier <tamiko@kyomu.43-1.org>2013-07-25 19:00:09 +0200
commitbbd6e7a46df17d1607b0820f95eb55d0a93fc495 (patch)
tree80e254675c9ab30569aa3619b5a4077dfb1bc8ed /sci-libs/dealii
parentImprove dealii-9999.ebuild to be more consistent with Gentoo's best practices (diff)
downloadsci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.tar.gz
sci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.tar.bz2
sci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.zip
Clean up the documentation installation: Only install html files if +doc is set
Diffstat (limited to 'sci-libs/dealii')
-rw-r--r--sci-libs/dealii/dealii-9999.ebuild9
1 files changed, 3 insertions, 6 deletions
diff --git a/sci-libs/dealii/dealii-9999.ebuild b/sci-libs/dealii/dealii-9999.ebuild
index 9765e3a80..2d4516b41 100644
--- a/sci-libs/dealii/dealii-9999.ebuild
+++ b/sci-libs/dealii/dealii-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2012 Gentoo Foundation
+# Copyright 2013 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
@@ -104,12 +104,9 @@ src_configure() {
}
src_install() {
- dodoc LICENSE README
+ dodoc README
- if use !doc; then
- # install some minimalistic bits of the html documentation:
- dohtml doc/authors.html doc/license.html doc/screen.css
- else
+ if use doc; then
if [[ ${PV} != "9999" ]] ; then
# copy missing images to the build directory:
cp -r "${WORKDIR}"/doc/doxygen/deal.II/images "${WORKDIR}"/${P}_build/doc/doxygen/deal.II