update

   1 #! /bin/sh
   2
   3 current="`git config --get remote.current.url`" &&
   4
   5 git pull --ff-only current master && git push web &&
   6
   7 # Copy mimedecode.docbook with timestamp to avoid rebuilding
   8 rsync -ahP "$current"/mimedecode.docbook "$current"/mimedecode.man \
   9            "$current"/mimedecode.html "$current"/mimedecode.txt . &&
  10
  11 cd "$current" &&
  12 exec git pull origin