diff options
author | VirtualTam <virtualtam@flibidi.net> | 2018-06-17 13:00:03 +0200 |
---|---|---|
committer | VirtualTam <virtualtam@flibidi.net> | 2018-06-17 13:00:03 +0200 |
commit | 754ee049fb090ba2f212a3beab6c452aaefeb8fd (patch) | |
tree | 96de6fa934bee99ff59a7c756596ee0df6c38f60 /Dockerfile | |
parent | 35927142d7440f6a7c360e53b2beb3a6834835f0 (diff) | |
download | Shaarli-754ee049fb090ba2f212a3beab6c452aaefeb8fd.tar.gz Shaarli-754ee049fb090ba2f212a3beab6c452aaefeb8fd.tar.zst Shaarli-754ee049fb090ba2f212a3beab6c452aaefeb8fd.zip |
docker: generate the HTML documentation
Relates to https://github.com/shaarli/Shaarli/issues/1153
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -1,12 +1,20 @@ | |||
1 | # Stage 1: | 1 | # Stage 1: |
2 | # - Get Shaarli sources | 2 | # - Get Shaarli sources |
3 | # - Build documentation | ||
4 | FROM dalibo/pandocker:stable as docs | ||
5 | ADD . /pandoc/shaarli | ||
6 | RUN cd /pandoc/shaarli \ | ||
7 | && make htmldoc \ | ||
8 | && rm -rf .git | ||
9 | |||
10 | # Stage 2: | ||
3 | # - Resolve PHP dependencies with Composer | 11 | # - Resolve PHP dependencies with Composer |
4 | FROM composer:latest as composer | 12 | FROM composer:latest as composer |
5 | ADD . /app/shaarli | 13 | COPY --from=docs /pandoc/shaarli /app/shaarli |
6 | RUN cd shaarli \ | 14 | RUN cd shaarli \ |
7 | && composer --prefer-dist --no-dev install | 15 | && composer --prefer-dist --no-dev install |
8 | 16 | ||
9 | # Stage 2: | 17 | # Stage 3: |
10 | # - Shaarli image | 18 | # - Shaarli image |
11 | FROM debian:jessie | 19 | FROM debian:jessie |
12 | LABEL maintainer="Shaarli Community" | 20 | LABEL maintainer="Shaarli Community" |