build system: try to restore the modification date from .manual-mdate

1 files changed, 5 insertions, 0 deletions

diff --git a/bootstrap b/bootstrap
index d3aa2fa..feb3ddf 100755
--- a/bootstrap
+++ b/bootstrap
@@ -16,6 +16,11 @@
 # You should have received a copy of the GNU Affero General Public License
 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
+if [ -f .manual-mdate ]
+then
+    touch -t "$(date -d $(cat .manual-mdate) '+%Y%m%d%H%M.%S')" doc/disfluid.texi
+fi
+
 autoreconf -vif || exit 1
 sed -i 's|SHELL = /bin/sh|SHELL = @SHELL@|g' po/Makefile.in.in || exit 1