aboutsummaryrefslogtreecommitdiffstats
path: root/doc/updt.sh
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2016-06-24 15:44:24 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2016-06-24 15:52:23 +0200
commitbad30c92a1cbe0e411f52c277cef37b6570b623f (patch)
tree15d6c00b37df9cb04e88acaf702e17dec6c36a7c /doc/updt.sh
parent8b1af713cef4f66d658e304f0ace0820b47d2bc5 (diff)
improves the documentation
Change-Id: Ieea284220b2b088bf460093f745e8f5fb3633eca Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'doc/updt.sh')
-rwxr-xr-xdoc/updt.sh65
1 files changed, 35 insertions, 30 deletions
diff --git a/doc/updt.sh b/doc/updt.sh
index 1c9d023..5267ad5 100755
--- a/doc/updt.sh
+++ b/doc/updt.sh
@@ -1,47 +1,52 @@
#!/bin/bash
-# the HTML template
-main='<html>
-<head>
- <link rel="stylesheet" type="text/css" href="doc.css">
- <meta charset="UTF-8">
-</head>
-<body>
-GENERATED-MARKDOWN-HERE
-</body>
-</html>'
-
-# substitute the pattern $1 by the content of the file $2
-subst() {
- awk -v pat="$1" -v rep="$(sed 's:\\:\\\\:g' $2)" '{gsub(pat,rep);gsub(pat,"\\&");print}'
+title() {
+ sed '/^[ \t]*$/d' "$1" |
+ sed '/^===/Q' |
+ sed '/^---/Q' |
+ sed 's/^# //;T;Q' |
+ sed 's/^## //;T;Q' |
+ sed '/^---/Q'
}
-# update the date field of file $1
-updadate() {
- local x=$1
- local t=$(git log -n 1 --format=%ct $x)
- [[ -n "$t" ]] || t=$(stat -c %Y $x)
- local d=$(LANG= date -d @$t +"%d %B %Y")
- sed -i "s/^\( Date: *\).*/\1$d/" $x
+authors() {
+ git log --numstat --format='A %aN' -- "$1" |
+ awk '$1=="A"{sub(/^A /,"");a=$0; s[a]+=0; next}NF==3{s[a]+=($1+0)}END{for(a in s)print s[a]" : "a}' |
+ sort -nr |
+ sed 's/[^:]* : //' |
+ sed '1!s/^/; /' |
+ tr -d '\n'
+}
+
+dateof() {
+ local file="$1"
+ local t=$(git log -n 1 --format=%ct "$file")
+ [[ -n "$t" ]] || t=$(stat -c %Y "$file")
+ LANG= date -d @$t +"%d %B %Y"
}
+meta() {
+ local file="$1"
+ local t=$(title "$file")
+ local a=$(authors "$file")
+ local d=$(dateof "$file")
+ echo "% $t"
+ echo "% $a"
+ echo "% $d"
+ cat "$file"
+}
+
+
# make the html file for $1
mkhtml() {
local x=$1
local h=${x%%.md}.html
- expand -i $x | sed 's:^ : :' > $h.pre
- markdown -f toc,autolink $h.pre > $h.toc.no
- markdown -Tf toc,autolink $h.pre > $h.toc.yes
- head --bytes=-$(stat -c %s $h.toc.no) $h.toc.yes > $h.toc
- echo "$main" |
- subst GENERATED-MARKDOWN-HERE $h.toc.no |
- subst TABLE-OF-CONTENT-HERE $h.toc > $h
- rm $h.*
+ meta "$x" |
+ pandoc --css doc.css -f markdown -t html5 --toc > "$h"
}
# apply
for x in *.md; do
- updadate $x
mkhtml $x
done