From c86b36a415b74d9a5f33cea39a42a05a088467b8 Mon Sep 17 00:00:00 2001
From: FrancisANDRE <zosrothko@orange.fr>
Date: Tue, 1 Dec 2015 20:15:00 +0100
Subject: [PATCH] Echo the PocoDoc command line arguments.

Signed-off-by: FrancisANDRE <zosrothko@orange.fr>
---
 release/script/mkdocumentation | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release/script/mkdocumentation b/release/script/mkdocumentation
index cd5bb4725..5e143b556 100755
--- a/release/script/mkdocumentation
+++ b/release/script/mkdocumentation
@@ -123,6 +123,7 @@ echo "PocoDoc.output=$docPath" >>$build/PocoDoc.ini
 echo "PocoDoc.version=$docVersion" >> $build/PocoDoc.ini
 echo "Includes=$includes" >> $build/PocoDoc.ini
 
+echo "PocoDoc --config=$docConfig --config=$build/PocoDoc.ini"
 PocoDoc --config=$docConfig --config=$build/PocoDoc.ini
 
 cd $dist