diff options
| author |   Matthias Maier <tamiko@kyomu.43-1.org> | 2013-07-25 19:00:09 +0200 |
|---|---|---|
| committer | Matthias Maier <tamiko@kyomu.43-1.org> | 2013-07-25 19:00:09 +0200 |
| commit | bbd6e7a46df17d1607b0820f95eb55d0a93fc495 (patch) | |
| tree | 80e254675c9ab30569aa3619b5a4077dfb1bc8ed | |
| parent | Improve dealii-9999.ebuild to be more consistent with Gentoo's best practices (diff) | |
| download | sci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.tar.gz sci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.tar.bz2 sci-bbd6e7a46df17d1607b0820f95eb55d0a93fc495.zip | |
Clean up the documentation installation: Only install html files if +doc is set
| -rw-r--r-- | sci-libs/dealii/dealii-9999.ebuild | 9 |
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 |