Keep mtime to be friendly with rsync

diff --git a/doc/build.log.do b/doc/build.log.do
index 76ab32db55a77e6e8db1579a7d0c34a6f64436c7..be6a37029a5741f298df880fcc938ba7e3eaf0ac 100644 (file)
--- a/doc/build.log.do
+++ b/doc/build.log.do
@@ -1,7 +1,7 @@
 rm -fr _build
 html=_build/html
 PYTHONPATH=.. ${PYTHON:=python} -msphinx . $html
-[ -d download ] && cp -r download $html || echo No download directory, skipping
+[ -d download ] && cp -a download $html || echo No download directory, skipping
 rm -r $html/.doctrees $html/.buildinfo
 find $html -type d -exec chmod 755 {} +
 find $html -type f -exec chmod 644 {} +