Chronological Thread 

< Chronological >      < Thread >

---

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

---

• How to override or remove the creation date when making PDFs?, Maxime Devos, 08/28/2022
  • Message not available
    • Re: How to override or remove the creation date when making PDFs?, Maxime Devos, 08/28/2022
  • Re: How to override or remove the creation date when making PDFs?, Jeroen Wouters, 08/28/2022
    • Re: How to override or remove the creation date when making PDFs?, Maxime Devos, 08/28/2022

---

Archive powered by MHonArc 2.6.24.