summary |
shortlog |
log |
commit | commitdiff |
review |
tree
raw |
patch |
inline | side by side (from parent 1:
c9bb1ce)
Change-Id: I0acc567bab126c6e8fef10b294eb0e362222ce5c
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
mkhtml() {
local x=$1
local h=${x%%.md}.html
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"
}
meta "$x" |
pandoc --css doc.css -f markdown -t html5 --toc > "$h"
}