Improve post-wiki setup.

[config] / systemfiles / post-update

diff --git a/systemfiles/post-update b/systemfiles/post-update
index 325d94fb203c991ab32fa4739ddfc5b1f64a0c56..51742fb57d95e716c25370596a12cbb10135fbc2 100755 (executable)
--- a/systemfiles/post-update
+++ b/systemfiles/post-update
@@ -1,4 +1,4 @@
 #!/bin/sh
 LIFELOGDIR=/home/plom/lifelog
 GIT_WORK_TREE=$LIFELOGDIR git checkout -f
-find $LIFELOGDIR -name "*.rst" -exec sh -c 'rst2html $0 > ${0%.rst}.html' {} \;
+find $LIFELOGDIR -name "*.rst" -type f -exec sh -c 'pandoc -s -f rst --mathml -t html5 $0 > ${0%.rst}.html' {} \;