From 0f2945141686a711147b340d771f113a46dd3c39 Mon Sep 17 00:00:00 2001
From: Pavol Rusnak <stick@gk2.sk>
Date: Sun, 28 Jan 2018 15:38:17 +0100
Subject: [PATCH] dockerfile: add texlive deps

---
 Dockerfile.gcc_source | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile.gcc_source b/Dockerfile.gcc_source
index 19be3705..5ec2b393 100644
--- a/Dockerfile.gcc_source
+++ b/Dockerfile.gcc_source
@@ -6,7 +6,8 @@ FROM debian:9
 
 RUN apt-get update && apt-get install -y \
     build-essential wget git python3-pip gcc-multilib \
-    autoconf autogen bison dejagnu flex flip gawk git gperf gzip nsis openssh-client p7zip-full perl python-dev libisl-dev tcl tofrodos zip
+    autoconf autogen bison dejagnu flex flip gawk git gperf gzip nsis openssh-client p7zip-full perl python-dev libisl-dev tcl tofrodos zip \
+    texinfo texlive texlive-extra-utils
 
 # download toolchain