]> git.ipfire.org Git - thirdparty/git.git/commit
doc: doc-diff: specify date
authorFelipe Contreras <felipe.contreras@gmail.com>
Wed, 3 May 2023 23:23:49 +0000 (17:23 -0600)
committerJunio C Hamano <gitster@pobox.com>
Fri, 5 May 2023 01:16:29 +0000 (18:16 -0700)
commit1c301bcaa56fee40d5c52ddc3a6c3f03b350073c
treebafb56c37d139a779ee2d75db11decd3c81a1fa9
parent28fde3a1f4322993d731e2b2b6543ba0e24a5788
doc: doc-diff: specify date

Earlier we changed the manual page formatting machinery to use the
dates from the commit the documentation source was taken from,
instead of the date the manual page was produced.  When "doc-diff"
compares two commits from different dates, the different dates from
the two commits would result in unnecessary differences in the
output because of the change.

Compensate by setting a fixed date when "doc-diff" formats the pages
to be compared to work around this issue.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/doc-diff