From 0480958ea1fb42641af4088ca42d5d7219752780 Mon Sep 17 00:00:00 2001
From: Eric Teunis de Boone <ericteunis@deboone.nl>
Date: Thu, 13 Mar 2025 23:12:00 +0100
Subject: [PATCH] Makefile: add gitmtime to a file's git commit time

---
 Makefile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Makefile b/Makefile
index 2ac5920..4b06c99 100644
--- a/Makefile
+++ b/Makefile
@@ -58,3 +58,13 @@ SUBDIRS := $(sort $(SUBDIRS))
 .PHONY: $(SUBDIRS)
 $(SUBDIRS) : % :
 	@$(MAKE) $(filter $(@D)/%.pdf,$(PDFOBJS))
+
+# Special target for setting modification times back to commit time
+.PHONY: gitmtime
+gitmtime:
+	@# From https://stackoverflow.com/a/30143117
+	for FILE in $$(git ls-files); do \
+	    TIME=$$(git log --pretty=format:%cd -n 1 --date=iso $$FILE); \
+	    TIME2=$$(echo $$TIME | sed 's/-//g;s/ //;s/://;s/:/\./;s/ .*//'); \
+	    touch -m -t $$TIME2 $$FILE; \
+	done