4 sed '/^[ \t]*$/d' "$1" |
13 git log --numstat --format='A %aN' -- "$1" |
14 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}' |
23 local t=$(git log -n 1 --format=%ct "$file")
24 [[ -n "$t" ]] || t=$(stat -c %Y "$file")
25 LANG= date -d @$t +"%d %B %Y"
30 local t=$(title "$file")
31 local a=$(authors "$file")
32 local d=$(dateof "$file")
40 # make the html file for $1
43 local h=${x%%.md}.html
45 pandoc --css doc.css -f markdown -t html5 --toc > "$h"