Code Review
/
src
/
app-framework-binder.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
review
|
tree
raw
|
patch
| inline |
side by side
(parent:
c9bb1ce
)
minor: improves updt.sh script
author
José Bollo
<jose.bollo@iot.bzh>
Mon, 19 Sep 2016 10:33:05 +0000
(12:33 +0200)
committer
José Bollo
<jose.bollo@iot.bzh>
Tue, 20 Sep 2016 12:40:02 +0000
(14:40 +0200)
Change-Id: I0acc567bab126c6e8fef10b294eb0e362222ce5c
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
doc/updt.sh
patch
|
blob
|
history
diff --git
a/doc/updt.sh
b/doc/updt.sh
index
5267ad5
..
d0c02e7
100755
(executable)
--- 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"
}