doc/updt.sh

   1 #!/bin/sh
   2
   3 subst() {
   4   awk -v pat="$1" -v rep="$(sed 's:\\:\\\\:g' $2)" '{gsub(pat,rep);gsub(pat,"\\&");print}'
   5 }
   6
   7 main='<html>
   8 <head>
   9   <link rel="stylesheet" type="text/css" href="doc.css">
  10   <meta charset="UTF-8">
  11 </head>
  12 <body>
  13 GENERATED-MARKDOWN-HERE
  14 </body>
  15 </html>'
  16
  17 for x in *.md; do
  18   t=$(git log -n 1 --format=%ct $x)
  19   [[ -n "$t" ]] || t=$(stat -c %Y $x)
  20   d=$(LANG= date -d @$t +"%d %B %Y")
  21   sed -i "s/^\(    Date: *\).*/\1$d/" $x
  22   h=${x%%.md}.html
  23   markdown -f toc,autolink $x > $h.toc.no
  24   markdown -Tf toc,autolink $x > $h.toc.yes
  25   head --bytes=-$(stat -c %s $h.toc.no) $h.toc.yes > $h.toc
  26   echo "$main" |
  27   subst GENERATED-MARKDOWN-HERE $h.toc.no |
  28   subst TABLE-OF-CONTENT-HERE $h.toc > $h
  29 #  rm $h.toc*
  30 done
  31