summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-tex/chktex/chktex-1.7.5.ebuild4
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
}