guix: restore the manual mdate when building it

1 files changed, 6 insertions, 1 deletions

diff --git a/bootstrap b/bootstrap
index feb3ddf..d18d9f7 100755
--- a/bootstrap
+++ b/bootstrap
@@ -18,7 +18,12 @@
 
 if [ -f .manual-mdate ]
 then
-    touch -t "$(date -d $(cat .manual-mdate) '+%Y%m%d%H%M.%S')" doc/disfluid.texi
+    MANUAL_MDATE="$(cat .manual-mdate)"
+    MANUAL_MDATE_TOUCH="$(date -d $MANUAL_MDATE '+%Y%m%d%H%M.%S')"
+    >&2 echo "Changing the manual date to $MANUAL_MDATE_TOUCH (from $MANUAL_MDATE)."
+    touch -m -t "$MANUAL_MDATE_TOUCH" doc/disfluid.texi
+else
+    >&2 echo "Please write the last modification date in .manual-mdate, if it’s not the modification date of doc/disfluid.texi."
 fi
 
 autoreconf -vif || exit 1