summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-09 14:02:30 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-09 14:02:56 +0100
commita54221102b5473b93b08f52785f74cb933b355b1 (patch)
tree5d73cfd37e6dcd0bb59e8596980c169a30cb66db /eclass/latex-package.eclass
parentnet-libs/nodejs: Bump (diff)
downloadgentoo-a54221102b5473b93b08f52785f74cb933b355b1.tar.gz
gentoo-a54221102b5473b93b08f52785f74cb933b355b1.tar.bz2
gentoo-a54221102b5473b93b08f52785f74cb933b355b1.zip
eclass/latex-package.eclass: Try pdflatex first and fallback on old texi2dvi way if it fails. Should fix bug #574168, bug #574180 and probably others, while installing pdf documentation which is more portable than dvi these days.
Diffstat (limited to 'eclass/latex-package.eclass')
-rw-r--r--eclass/latex-package.eclass7
1 files changed, 6 insertions, 1 deletions
diff --git a/eclass/latex-package.eclass b/eclass/latex-package.eclass
index 1a092d3d7d37..030c899ccf9e 100644
--- a/eclass/latex-package.eclass
+++ b/eclass/latex-package.eclass
@@ -128,7 +128,12 @@ latex-package_src_doinstall() {
for i in `find . -maxdepth 1 -type f -name "*.${1}"`
do
einfo "Making documentation: $i"
- texi2dvi -q -c --language=latex $i &> /dev/null || die
+ if `pdflatex --interaction=batchmode $i &> /dev/null` ; then
+ pdflatex --interaction=batchmode $i &> /dev/null || die
+ else
+ einfo "pdflatex failed, trying texi2dvi"
+ texi2dvi -q -c --language=latex $i &> /dev/null || die
+ fi
done
fi
;;