#! /bin/sh
-umask 022
-
if [ -n "$1" ]; then
git checkout "$1"
fi &&
+umask 022 &&
+
git archive --format=tar --prefix=mimedecode/ HEAD |
(cd "$HOME/tmp" && exec tar xf -) &&
-cp -p mimedecode.man mimedecode.html mimedecode.txt "$HOME/tmp/mimedecode" &&
+
+# Copy mimedecode.docbook with timestamp to avoid rebuilding
+cp -p mimedecode.docbook mimedecode.man mimedecode.html mimedecode.txt \
+ "$HOME/tmp/mimedecode" &&
cd "$HOME/tmp/mimedecode" &&
chmod a+r mimedecode.man mimedecode.html mimedecode.txt &&