Experimental tweak of Docker image to try to fix manpage build.

diff --git a/Dockerfile.ci b/Dockerfile.ci
index f7dcab92335df8f059bc179f299ced7094baf67d..535ed65e7185ea114cfbd9f1e86760101643855d 100644 (file)
--- a/Dockerfile.ci
+++ b/Dockerfile.ci
@@ -1,7 +1,7 @@
 # This image is built by the Gitlab CI pipeline to be used in subsequent
 # pipeline steps.
 
-FROM ubuntu:focal
+FROM ubuntu
 
  # tell apt not to ask for any user input
 ENV DEBIAN_FRONTEND=noninteractive