+++ /dev/null
-#! /bin/sh
-
-"$HOME"/admin/prog/git-scripts/update || exit 1
-
-current="`pwd`"
-origin="`git config --get --path remote.origin.url`"
-
-# Copy mimedecode.docbook with timestamp to avoid rebuilding
-cd "$origin"
-exec rsync -ahP "$current"/mimedecode.docbook "$current"/mimedecode.man \
- "$current"/mimedecode.html "$current"/mimedecode.txt .