From 4a1409460a7c0a5d26fe10b5f84368b3cb8b8b5a Mon Sep 17 00:00:00 2001
From: José Bollo <jose.bollo@iot.bzh>
Date: Wed, 26 Oct 2016 18:24:13 +0200
Subject: doc: switch to mkdocs
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: José Bollo <jose.bollo@iot.bzh>
---
 doc/updt.sh | 53 -----------------------------------------------------
 1 file changed, 53 deletions(-)
 delete mode 100755 doc/updt.sh

(limited to 'doc/updt.sh')

diff --git a/doc/updt.sh b/doc/updt.sh
deleted file mode 100755
index d0c02e7..0000000
--- a/doc/updt.sh
+++ /dev/null
@@ -1,53 +0,0 @@
-#!/bin/bash
-
-title() {
-	sed '/^[ \t]*$/d' "$1" |
-	sed '/^===/Q' |
-	sed '/^---/Q' |
-	sed 's/^# //;T;Q' |
-	sed 's/^## //;T;Q' |
-	sed '/^---/Q'
-}
-
-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
-  echo updating $h from $x
-  meta "$x" |
-  pandoc --css doc.css -f markdown -t html5 --toc > "$h"
-}
-
-# apply
-for x in *.md; do
-  mkhtml $x
-done
-
-- 
cgit 1.2.3-korg