diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 5e3095d7..02b0fc26 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -32,6 +32,8 @@ RUN apt-get update && apt-get install -y \ RUN pip3 install Sphinx RUN pip3 install sphinx-rtd-theme RUN pip3 install sphinx-autobuild +RUN pip3 install sphinx-notfound-page + # Cleanup RUN rm -rf /var/lib/apt/lists/* |