diff options
Diffstat (limited to 'sci-libs')
| -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 |