[ #1675 ] TeX Live stuff.

Removed installation of TeX Live 2012 (we don't run
LaTeX/XeLaTeX/LuaLaTeX on Travis).

Added installation of the `kpsewhich` program from TeX Live 2009 which
is the current version in Travis. This program is required by the
LaTeX back-end.

.travis.yml

@@ -137,23 +137,6 @@ install:
   # - sudo apt-get install libgc-dev
   # - cabal install epic
 
-##############################################################################
-# Installing required packages for running the LaTeX test-suite
-#
-# Remark (19 April 2015). Travis (i.e. Ubuntu 12.04) uses an outdated
-# TeX Live 2009. The LaTeX test-suite requires the unicode-math package
-# which is not available in this version of TeX Live (see Issue 1022).
-
-  - if [ $TEST = "latex-html-test" ]; then
-       sudo add-apt-repository ppa:texlive-backports/ppa -y &&
-       sudo apt-get update &&
-       sudo apt-get install texlive &&
-       sudo apt-get install texlive-latex-extra &&
-       sudo apt-get install texlive-xetex &&
-       sudo apt-get install texlive-math-extra &&
-       sudo apt-get install texlive-fonts-extra;
-    fi
-
 ##############################################################################
 # Getting the standard library
 
@@ -219,10 +202,21 @@ script:
 
 ##############################################################################
 
-# Running XeLaTeX/LuaLaTeX on travis fails randomly, presumably because they
-# consume too much memory. We just don't run them on travis, but we still
-# compare the generated tex/html files with the golden files.
+# Travis (i.e. Ubuntu 12.04) uses an outdated TeX Live 2009. The LaTeX
+# test-suite requires the unicode-math package which is not available
+# in this version of TeX Live (see Issue 1022).
+
+# Installing a recent version of TeX Live (e.g. TeX Live 2012) and
+# running XeLaTeX/LuaLaTeX on Travis fail randomly (see Issue 1675),
+# presumably because that consume too much memory. We just don't run
+# LaTeX/XeLaTeX/LuaLaTeX on Travis, but we still compare the generated
+# tex/html files with the golden files.
+
+# We install the `texlive-binaries` package because the `kpsewhich`
+# program is required by the LaTeX back-end.
+
   - if [ $TEST = "latex-html-test" ]; then
+       sudo apt-get install texlive-binaries &&
        make AGDA_TESTS_OPTIONS="" BUILD_DIR=$BUILD_DIR DONT_RUN_LATEX="Y" latex-html-test;
     fi