diff options
Diffstat (limited to 'sci-mathematics/twelf/twelf-1.7.1.ebuild')
| -rw-r--r-- | sci-mathematics/twelf/twelf-1.7.1.ebuild | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/sci-mathematics/twelf/twelf-1.7.1.ebuild b/sci-mathematics/twelf/twelf-1.7.1.ebuild index 02712b874f0f..f9334067c389 100644 --- a/sci-mathematics/twelf/twelf-1.7.1.ebuild +++ b/sci-mathematics/twelf/twelf-1.7.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2016 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI="5" @@ -91,10 +91,12 @@ src_install() { ins_example_dir examples-delphin fi dobin bin/twelf-server - dohtml doc/html/index.html - doinfo doc/guide/twelf.info - dodoc doc/guide/twelf.dvi doc/guide/twelf.ps doc/guide/twelf.pdf - dohtml doc/guide/twelf/* + if use doc; then + dohtml doc/html/index.html + doinfo doc/guide/twelf.info + dodoc doc/guide/twelf.dvi doc/guide/twelf.ps doc/guide/twelf.pdf + dohtml doc/guide/twelf/* + fi } pkg_postinst() { |