Update Firefox.

[config] / systemfiles / post-update

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