diff options
author | Alexis Ballier <aballier@gentoo.org> | 2016-08-02 10:42:12 +0200 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2016-08-02 10:42:32 +0200 |
commit | e64c3fe8fcb1e8da7405ab31eefce87497ea1c07 (patch) | |
tree | 3758a538538ae4d1be682840d49d2abc4da9c45d /dev-tex/chktex | |
parent | net-misc/spice-gtk: Whitespace (diff) | |
download | gentoo-e64c3fe8fcb1e8da7405ab31eefce87497ea1c07.tar.gz gentoo-e64c3fe8fcb1e8da7405ab31eefce87497ea1c07.tar.bz2 gentoo-e64c3fe8fcb1e8da7405ab31eefce87497ea1c07.zip |
dev-tex/chktex: build dvi file at src_compile instead of src_install; should fix bugs #568840 and #580918
Package-Manager: portage-2.3.0
Diffstat (limited to 'dev-tex/chktex')
-rw-r--r-- | dev-tex/chktex/chktex-1.7.5.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-tex/chktex/chktex-1.7.5.ebuild b/dev-tex/chktex/chktex-1.7.5.ebuild index cca1bf4786df..5d1fb74e93ce 100644 --- a/dev-tex/chktex/chktex-1.7.5.ebuild +++ b/dev-tex/chktex/chktex-1.7.5.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -40,6 +40,7 @@ src_configure() { src_compile() { autotools-utils_src_compile + autotools-utils_src_compile ChkTeX.dvi use doc && autotools-utils_src_compile html } @@ -48,6 +49,7 @@ src_install() { HTML_DOCS=("${AUTOTOOLS_BUILD_DIR}/HTML/ChkTeX/") DOCS+=("${AUTOTOOLS_BUILD_DIR}/HTML/ChkTeX.tex") fi + DOCS+=("${AUTOTOOLS_BUILD_DIR}/ChkTeX.dvi") autotools-utils_src_install doman *.1 } |