Copy mimedecode.docbook

Copy mimedecode.docbook preserving its timestamp to avoid forcing users
to rebuild docs.

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