From e075cde35792523140aa0506abc0423758151944 Mon Sep 17 00:00:00 2001
From: Vidar Holen <spam@vidarholen.net>
Date: Sat, 16 Nov 2019 11:46:58 -0800
Subject: [PATCH] Revert docker image to 18.04 since ld fails on later versions

---
 Dockerfile | 2 +-
 manpage    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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"