home · contact · privacy
51742fb57d95e716c25370596a12cbb10135fbc2
[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' {} \;