Merge branch 'man_db' into 'master'

Disable man-db auto-update (as done by sbuild)

See merge request fdroid/fdroidserver!1232

buildserver/provision-apt-get-install

@@ -31,6 +31,8 @@ cat <<EOF > /etc/apt/apt.conf.d/99confdef
 Dpkg::Options { "--force-confdef"; };
 EOF
 
+echo "man-db man-db/auto-update boolean false" | debconf-set-selections
+
 if echo $debian_mirror | grep '^https' 2>&1 > /dev/null; then
     apt-get update || apt-get update
     apt-get install ca-certificates