Subject: mailing-list for TeXmacs Users
List archive
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 -- texmacsThe problem is that the generated PDF embeds a timestamp, which hinders reproducible builds (https://reproducible-builds.org/):
doc/scheme-gnunet.pdf: doc/scheme-gnunet.tm $(tm_fragments)
$(TEXMACS_CONVERT) -c "$<" "$@" -q
$ 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
- Message not available
- 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.