use full path to file

Author: coke

util/update-and-sync

@@ -9,14 +9,14 @@ git fetch
 before=$(git rev-parse HEAD)
 git checkout origin/master
 after=$(git rev-parse HEAD)
-if [ ! -f force-update ] ; then
+if [ ! -f "$HOME/force-update" ] ; then
     if [ "$before" = "$after" ] ; then
         echo "nothing to do"
         exit
     fi
 fi
 
-rm force-update
+rm "$HOME/force-update"
 LOGDIR=$HOME/doc/html/build-log
 mkdir -p "$LOGDIR"
 DATE=$(date --iso-8601=minutes)