aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2016-09-19 12:33:05 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2016-09-20 14:40:02 +0200
commitdcdb2427f80a325fad889586c8696a2b684d6a61 (patch)
tree0f8c6e2f4d406003f847ce5e446b40fb14f12937 /doc
parentc9bb1cec405741d5721dfcafb35b187c6f182a6f (diff)
minor: improves updt.sh script
Change-Id: I0acc567bab126c6e8fef10b294eb0e362222ce5c Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/updt.sh1
1 files changed, 1 insertions, 0 deletions
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"
}