mailing-list for TeXmacs Users

[Jeroen Wouters <address@hidden>]

Hi Maxime,

The behaviour you describe is hard-coded. There is no way to change it via settings. Perhaps libfaketime can help you out.

Best wishes,
Jeroen

On 28 August 2022 16:40:19 BST, Maxime Devos <address@hidden> wrote:

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.