aboutsummaryrefslogtreecommitdiffstats
path: root/doc/updt.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/updt.sh')
-rwxr-xr-xdoc/updt.sh25
1 files changed, 25 insertions, 0 deletions
diff --git a/doc/updt.sh b/doc/updt.sh
new file mode 100755
index 0000000..a6292c8
--- /dev/null
+++ b/doc/updt.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+fmd() {
+cat << EOC
+<html>
+<head>
+ <link rel="stylesheet" type="text/css" href="doc.css">
+ <meta charset="UTF-8">
+</head>
+<body>
+$(cat)
+</body>
+</html>
+EOC
+}
+
+
+for x in *.md; do
+ t=$(stat -c %Y $x)
+ t=$(git log -n 1 --format=%ct $x)
+ d=$(LANG= date -d @$t +"%d %B %Y")
+ sed -i "s/^\( Date: *\).*/\1$d/" $x
+ markdown -f toc,autolink $x | fmd > ${x%%.md}.html
+done
+