Update Firefox.

[config] / systemfiles / post-update

diff --git a/systemfiles/post-update b/systemfiles/post-update
index 325d94fb203c991ab32fa4739ddfc5b1f64a0c56..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" -exec sh -c 'rst2html $0 > ${0%.rst}.html' {} \;
+ZETTELDIR=/home/plom/zettel
+GIT_WORK_TREE=$ZETTELDIR git checkout -f
+cd $ZETTELDIR
+redo