Document cp -p mimedecode.docbook

[mimedecode.git] / mk-distr

diff --git a/mk-distr b/mk-distr
index 201ad4b3f32f7745eec749b97cb39df933fea106..4b75f166da1b27e488386a2ad6b38e62024176c8 100755 (executable)
--- a/mk-distr
+++ b/mk-distr
@@ -8,7 +8,10 @@ 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 &&