Hi,

At debian/patches/bugfix/all/tools-perf-man-date.patch is a patch to 
"allow man pages to be built reproducibly"

I just stumbled upon a commit with title 
"perf doc: Set man page date to last git commit" (from 2020-03-10)
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/commit/tools/perf/Documentation/Makefile?id=0c2d041232411c8124136c9497c0e352dcf18baa

The former patch sets 'revdate' while the latter uses 'perf_date', so maybe
they're both still needed, but wanted to point it out none-the-less.

Cheers,
  Diederik

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to