2020-01-02 11:58:44 -08:00
|
|
|
FROM debian:latest
|
|
|
|
|
|
|
|
RUN apt-get update \
|
|
|
|
&& apt-get install -y \
|
2020-01-05 12:54:51 -08:00
|
|
|
gawk \
|
|
|
|
perl \
|
2020-09-07 07:29:26 -07:00
|
|
|
sed \
|
|
|
|
git \
|
2020-01-02 11:58:44 -08:00
|
|
|
python3 \
|
2020-09-07 07:29:26 -07:00
|
|
|
python3-pip \
|
|
|
|
pandoc \
|
|
|
|
biber \
|
|
|
|
latexmk \
|
|
|
|
texlive \
|
|
|
|
texlive-science \
|
|
|
|
texlive-fonts-extra \
|
|
|
|
texlive-generic-recommended \
|
|
|
|
texlive-bibtex-extra
|
2020-01-02 11:58:44 -08:00
|
|
|
|
2020-09-07 07:29:26 -07:00
|
|
|
RUN pip3 install rst2html5
|
2020-01-02 11:58:44 -08:00
|
|
|
|
|
|
|
WORKDIR "/zips"
|
2020-09-07 07:29:26 -07:00
|
|
|
ENTRYPOINT ["make", "all"]
|