diff --git a/Dockerfile b/Dockerfile index 671b9ea..0ce807d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,5 +1,5 @@ # Build-only image -FROM ubuntu:19.10 AS build +FROM ubuntu:18.04 AS build USER root WORKDIR /opt/shellCheck diff --git a/manpage b/manpage index 27967f5..0898092 100755 --- a/manpage +++ b/manpage @@ -1,4 +1,4 @@ #!/bin/sh -echo >&2 "Generating man page using pandoc" +echo >&2 "Generating man page using pandoc" pandoc -s -f markdown-smart -t man shellcheck.1.md -o shellcheck.1 || exit echo >&2 "Done. You can read it with: man ./shellcheck.1"