[bug #60654] mdate.pl should use git modification times if possible

[G. Branden Robinson]

Update of bug #60654 (project groff):

                  Status:               Postponed => Invalid                
             Assigned to:                    None => gbranden               
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #5:

Withdrawing; closing as invalid.

mdate.pl's current behavior doesn't seem to be bothering anyone.  I tune out
the spurious updates to the dates of _groff_'s man pages, the same output
lines update anyway due to the constantly churning git commit info.

For instance:


--- ORIGIN-MASTER/addftinfo.1.cR.txt    2023-08-10 01:31:34.259829935 -0500
+++ LOCAL-MASTER/addftinfo.1.cR.txt     2023-08-10 08:04:40.255209455 -0500
@@ -70 +70 @@
-groff 1.23.0.229‐2da1c           2 August 2023                   
addftinfo(1)
+groff 1.23.0.230‐84ef8           2 August 2023                   
addftinfo(1)


So changing mdate.pl as contemplated in comment #0 wouldn't even solve the
above "problem".


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60654>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/