#! /bin/sh
-if [ -n "$1" ]; then
- git checkout "$1"
-fi &&
-
umask 022 &&
-git archive --format=tar --prefix=mimedecode/ HEAD |
+git archive --format=tar --prefix=mimedecode/ "${1:-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 &&