From 78108881646d248cba6758fa32c9c0ca8a0b704d Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Mon, 6 Feb 2023 16:36:59 -0500
Subject: [PATCH] Experimental tweak of Docker image to try to fix manpage
 build.

---
 Dockerfile.ci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile.ci b/Dockerfile.ci
index f7dcab9..535ed65 100644
--- 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
-- 
2.31.1