diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 80e58b1a..5e3095d7 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,7 +1,7 @@ # Must be run with --privileged flag # Recommended to run the container with a volume mapped # in order to easy exprort images built to "external" world -FROM debian:stretch +FROM debian:buster LABEL authors="VyOS Maintainers <maintainers@vyos.io>" ENV DEBIAN_FRONTEND noninteractive @@ -16,9 +16,7 @@ RUN apt-get update && apt-get install -y \ git \ mc \ make \ - python3-sphinx \ python3-pip \ - python-sphinx-rtd-theme \ latexmk \ texlive-latex-recommended \ texlive-fonts-recommended \ @@ -29,6 +27,10 @@ RUN apt-get update && apt-get install -y \ curl \ dos2unix + + +RUN pip3 install Sphinx +RUN pip3 install sphinx-rtd-theme RUN pip3 install sphinx-autobuild # Cleanup |