mirror of
https://blitiri.com.ar/repos/chasquid
synced 2025-12-17 14:37:02 +00:00
a2fa1d07d1
When regenerating the manpages, the mtime of the pod files is used. That mtime can change based on file and repository manipulations, because git does not preserve mtimes. This causes unnecessary regenerations which require manual cleanups in order to avoid cluttering the history unnecessarily. This patch makes the generate script set the mtime of the pod files to the time of the last git commit that affected them, if they have not changed since. This avoids unnecessary changes and makes the script easier to use. There's one file that needed adjustment to match its last commit time, that is also included here.