diff options
| author |   José Bollo <jose.bollo@iot.bzh> | 2016-09-19 12:33:05 +0200 |
|---|---|---|
| committer | José Bollo <jose.bollo@iot.bzh> | 2016-09-20 14:40:02 +0200 |
| commit | dcdb2427f80a325fad889586c8696a2b684d6a61 (patch) | |
| tree | 0f8c6e2f4d406003f847ce5e446b40fb14f12937 | |
| parent | c9bb1cec405741d5721dfcafb35b187c6f182a6f (diff) | |
minor: improves updt.sh script
Change-Id: I0acc567bab126c6e8fef10b294eb0e362222ce5c
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
| -rwxr-xr-x | doc/updt.sh | 1 |
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" } |