From dcdb2427f80a325fad889586c8696a2b684d6a61 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Bollo?= <jose.bollo@iot.bzh>
Date: Mon, 19 Sep 2016 12:33:05 +0200
Subject: [PATCH] minor: improves updt.sh script
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Change-Id: I0acc567bab126c6e8fef10b294eb0e362222ce5c
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
---
 doc/updt.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/updt.sh b/doc/updt.sh
index 5267ad5f..d0c02e7a 100755
--- a/doc/updt.sh
+++ b/doc/updt.sh
@@ -41,6 +41,7 @@ meta() {
 mkhtml() {
   local x=$1
   local h=${x%%.md}.html
+  echo updating $h from $x
   meta "$x" |
   pandoc --css doc.css -f markdown -t html5 --toc > "$h"
 }
-- 
2.16.6