11/12: maint: Reset CreationDate metadata on generated PDFs.

[guix-commits]

janneke pushed a commit to branch wip-tarball
in repository guix.

commit 7d3e7ef4c6ecfa77a6b6c237165c148578443511
Author: Janneke Nieuwenhuizen <janneke@gnu.org>
AuthorDate: Sat Apr 6 19:20:33 2024 +0200

    maint: Reset CreationDate metadata on generated PDFs.
    
    * doc/local.mk (.dot.pdf): Create PDF in UTC0 and reset CreationDate 
metadata.
    
    Change-Id: I3873ecdeec781c30874d53d032406cbe23922a25
---
 doc/local.mk | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/local.mk b/doc/local.mk
index a0d94614d3..25741a5c88 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -148,7 +148,11 @@ DOT_OPTIONS =                                      \
        $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@"
 
 .dot.pdf:
-       $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"
+       export TZ=UTC0;                                                         
\
+           $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"
+       $(AM_V_at)sed -ri                                               \
+           -e 's,(/CreationDate [(]D:)[0-9+]{14},\119700101000000,'    \
+               "$(srcdir)/$@.tmp"
        $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@"
 
 .dot.eps: