From 3f4f0e58e83cd6e1967afcfafad8ce8ba899ee82 Mon Sep 17 00:00:00 2001 From: Jaapio Date: Fri, 20 Apr 2018 16:41:08 +0200 Subject: [PATCH] Adds dockerfile for docs --- docs/.templates/responsive/layout.html | 12 ++++++------ docs/Dockerfile | 23 +++++++++++++++++++++++ 2 files changed, 29 insertions(+), 6 deletions(-) create mode 100644 docs/Dockerfile diff --git a/docs/.templates/responsive/layout.html b/docs/.templates/responsive/layout.html index fe771ede20..5bffd593b1 100644 --- a/docs/.templates/responsive/layout.html +++ b/docs/.templates/responsive/layout.html @@ -20,7 +20,7 @@

{{ _('Navigation') }}

{%- endfor %} {%- block rootrellink %}
  • - Homepage {{ reldelim1 }} + Homepage {{ reldelim1 }}
  • Documentation {{ reldelim1 }} @@ -201,14 +201,14 @@

    {{ _('Search') }}

    - phpDocumentor + phpDocumentor
    • -
  • Templates
    • -
  • Contact
    • -
  • About
    • +
  • Templates
    • +
  • Contact
    • +
  • About
    • diff --git a/docs/Dockerfile b/docs/Dockerfile new file mode 100644 index 0000000000..187c149c48 --- /dev/null +++ b/docs/Dockerfile @@ -0,0 +1,23 @@ +FROM python:2-slim-stretch + +ENV LANG en_US.UTF-8 +ENV BUILDDIR /var/www +RUN mkdir -p /usr/share/man/man1 \ + && apt-get update && apt-get install -yq python-sphinx plantuml make \ + && apt-get install --no-install-recommends -yq nginx \ + && rm -rf /var/lib/apt/lists/* + +ADD . /src + +RUN cd /src \ + && make BUILDDIR=$BUILDDIR clean html \ + && apt-get remove -yq python-sphinx plantuml make \ + # forward request and error logs to docker log collector + && ln -sf /dev/stdout /var/log/nginx/access.log \ + && ln -sf /dev/stderr /var/log/nginx/error.log + +EXPOSE 80 + +STOPSIGNAL SIGTERM + +CMD ["nginx", "-g", "daemon off;"]