add documentation & ideas about config.xml

Also enforce the strings for 'id' and 'version' to be not
empty in config.xml

Change-Id: I510b62891885033e0b750fac5f5de5e0fd25d75d
Signed-off-by: José Bollo <jose.bollo@iot.bzh>

1 files changed, 1 insertions, 0 deletions

diff --git a/doc/updt.sh b/doc/updt.sh
index 5267ad5..d0c02e7 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"
 }