1 files changed, 17 insertions, 0 deletions
diff --git a/publish.sh b/publish.sh
new file mode 100755
index 0000000..674403d
--- /dev/null
+++ b/publish.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+set -x
+
+(cd input && git pull)
+
+INPUTS=$(find input -name '*.org' -exec grep -l "#+PUBLISH" {} \;)
+readonly filter='s/#\+PUBLISH//g; ;s/\[([^\]]*)\.org\]/[$1.html]/g'
+
+mkdir -p www
+cp static/*.css www
+
+for input in ${INPUTS}; do
+    output="www${input#input}"
+    output="${output%org}html"
+    mkdir -p $(dirname "$output")
+    perl -pe "$filter" "$input" | pandoc -f org -s -t html5 -H static/header-ext.html -o "$output"
+done