From a9b5983c554e9c31d7bcfb16cebfab90172b9189 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Sun, 29 Jul 2018 15:05:06 +0200
Subject: [PATCH] Fixed doc generation script: needs a clean distribution dir.

---
 scripts/extract_user_doc.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/extract_user_doc.sh b/scripts/extract_user_doc.sh
index 331513e55..333a48f2c 100755
--- a/scripts/extract_user_doc.sh
+++ b/scripts/extract_user_doc.sh
@@ -32,6 +32,9 @@ for qt in 5 4; do
   rm -rf $target_doc
   mkdir -p $target_doc
 
+  # sanitize the binary dir
+  rm -rf bin-release-qt$qt
+
   export QT_SELECT=$qt
   ./build.sh -qmake qmake -j4 -bin bin-release-qt$qt -build build-release-qt$qt