dockerfile: add texlive deps

This commit is contained in:
Pavol Rusnak 2018-01-28 15:38:17 +01:00
parent 14e53765e7
commit 0f29451416
No known key found for this signature in database
GPG Key ID: 91F3B339B9A02A3D
1 changed files with 2 additions and 1 deletions

View File

@ -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