From 74151d57ba03a4e9386f8e988d7f832ccfbe1e25 Mon Sep 17 00:00:00 2001
From: David Steele <david@pgmasters.net>
Date: Mon, 5 Oct 2020 08:42:18 -0400
Subject: [PATCH] Add apt-get update to contributing guide.

This allows apt-get to work correctly even if the base container is a bit out of date.
---
 doc/xml/contributing.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/xml/contributing.xml b/doc/xml/contributing.xml
index 45ffc7652..133c5ceb5 100644
--- a/doc/xml/contributing.xml
+++ b/doc/xml/contributing.xml
@@ -59,6 +59,12 @@
         <execute-list host="{[host-contrib]}">
             <title>Install development tools</title>
 
+            <execute user="root" pre="y" show="n">
+                <exe-cmd>
+                    apt-get update
+                </exe-cmd>
+            </execute>
+
             <execute user="root" pre="y">
                 <exe-cmd>
                     apt-get install rsync git devscripts build-essential valgrind lcov autoconf