From 8fae05b0df841151ceb68c27987fcafdf1514c5a Mon Sep 17 00:00:00 2001
From: Pieter Lexis <pieter.lexis@powerdns.com>
Date: Fri, 8 Jun 2018 16:38:36 +0200
Subject: [PATCH] pdns-builder: don't run post-build if building docs

---
 builder-support/post-build | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/builder-support/post-build b/builder-support/post-build
index aefc896926..b4baf3796d 100755
--- a/builder-support/post-build
+++ b/builder-support/post-build
@@ -1,5 +1,9 @@
 #!/bin/bash
 
+if [[ "${BUILDER_TARGET}" =~ ^doc.* ]]; then
+  exit 0
+fi
+
 SRCDIR="${BUILDER_TMP}/${BUILDER_VERSION}/${BUILDER_TARGET}"
 DESTDIR="built_pkgs/"
 
-- 
2.47.3