home · contact · privacy
Merge branch 'master' of http://github.com/plomlompom/config
[config] / systemfiles / post-update
1 #!/bin/sh
2 LIFELOGDIR=/home/plom/lifelog
3 GIT_WORK_TREE=$LIFELOGDIR git checkout -f
4 find $LIFELOGDIR -name "*.rst" -type f -exec sh -c 'pandoc -s -f rst --mathml -t html5 $0 > ${0%.rst}.html' {} \;