-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
From : Jeroen Wouters <address@hidden>- To: Maxime Devos <address@hidden>, address@hidden
- Subject: Re: How to override or remove the creation date when making PDFs?
- Date: Sun, 28 Aug 2022 20:00:05 +0100
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 -- 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.
- 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.
