Skip to Content.
Sympa Menu

texmacs-users - How to override or remove the creation date when making PDFs?

Subject: mailing-list for TeXmacs Users

List archive

How to override or remove the creation date when making PDFs?


Chronological Thread 
  • From: Maxime Devos <address@hidden>
  • To: address@hidden
  • Subject: How to override or remove the creation date when making PDFs?
  • Date: Sun, 28 Aug 2022 17:40:19 +0200

Hi,

I'm currently making PDF documentation from a Makefile:

TEXMACS_CONVERT = env "HOME=$(abs_builddir)" xvfb-run --auto-servernum -- texmacs

doc/scheme-gnunet.pdf: doc/scheme-gnunet.tm $(tm_fragments)
    $(TEXMACS_CONVERT) -c "$<" "$@" -q

The problem is that the generated PDF embeds a timestamp, which hinders reproducible builds (https://reproducible-builds.org/):

$ guix shell xxd poppler diffoscope -- diffoscope doc/scheme-gnunet.pdf  2.pdf

--- doc/scheme-gnunet.pdf
+++ 2.pdf
│   --- doc/scheme-gnunet.pdf
├── +++ 2.pdf
│┄ Document info
│ @@ -1,5 +1,5 @@
│  Author: 'Maxime Devos'
│ -CreationDate: "D:20220828172945+02'00'"
│ +CreationDate: "D:20220825194518+02'00'"
│  Creator: 'TeXmacs 2.1'
│  Producer: 'TeXmacs 2.1 + Hummus 4.0'
│  Title: 'Scheme-GNUnet (0.2) manual'

Question: how can I ask TeXmacs to set the creation date to something else (e.g. 1970-01-01) or leave it out entirely?

Greetings,
Maxime.

Attachment: OpenPGP_0x49E3EE22191725EE.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature




Archive powered by MHonArc 2.6.24.

Top of Page