From 4b9c9e1c68f14328d580c21f29dc208ac8e70484 Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Wed, 11 Mar 2015 07:36:22 +0200
Subject: [PATCH] Get a missing executable for lhs2tex

---
 debian-bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 7025ea05..827e8460 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -20,7 +20,7 @@ apt-get install -y \
     git \
     wget \
     m4 \
-    texlive-binaries \
+    texlive-full \
     libgmp3c2 \
     libgmp3-dev \
     zlib1g-dev \