diff options
author | Radostin Stoyanov <rstoyanov1@gmail.com> | 2019-05-22 17:50:30 +0300 |
---|---|---|
committer | Andrei Vagin <avagin@gmail.com> | 2019-09-07 15:59:51 +0300 |
commit | bf62dbbe085efadfa08b0562603a7a8d0fce3a87 (patch) | |
tree | 9375370ace9368e9f7be78362b91002fb9537ccd /scripts/build/Dockerfile.alpine | |
parent | 8accfe6cc9d65cdf2203fc58ac3075c16b729e23 (diff) |
make: Use asciidoctor by default
The final release of asciidoc was on Sep 29, 2017 and the development
is continued under asciidoctor.
With commit 0493724 (Documentation: Allow to use asciidoctor for
formatting man pages) was added support for this tool by introducing
USE_ASCIIDOCTOR.
However, using asciidoctor by default might be a better option. With
this change CRIU will use asciidoctor if installed. Otherwise, it will
fallback to asciidoc.
Signed-off-by: Radostin Stoyanov <rstoyanov1@gmail.com>
Diffstat (limited to 'scripts/build/Dockerfile.alpine')
-rw-r--r-- | scripts/build/Dockerfile.alpine | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/Dockerfile.alpine b/scripts/build/Dockerfile.alpine index aab6184d7..a91e01637 100644 --- a/scripts/build/Dockerfile.alpine +++ b/scripts/build/Dockerfile.alpine @@ -36,7 +36,7 @@ RUN apk add \ bash \ go \ e2fsprogs \ - asciidoc xmlto + asciidoctor # The rpc test cases are running as user #1000, let's add the user RUN adduser -u 1000 -D test |