pdns-builder: don't run post-build if building docs

diff --git a/builder-support/post-build b/builder-support/post-build
index aefc8969260ecd991df0e924555b158ede8bcf86..b4baf3796dff7c1237c88343fd609273203a0e95 100755 (executable)
--- 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/"