diff options
| author | Albert Krewinkel <[email protected]> | 2025-08-05 17:25:42 +0200 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-08-06 12:48:59 -0700 |
| commit | 3a185fb5d008f8ffb1cc1cb03b805a29df24a2c9 (patch) | |
| tree | 70e284fe29acce3a258b3393e2be89f76e0d96cd /data | |
| parent | 48e59436ec0cb19bd7ee3966d71af0e41d2debc2 (diff) | |
LaTeX writer: set `pdf-trailer-id` if `SOURCE_DATE_EPOCH` envvar is set
The `SOURCE_DATE_EPOCH` environment variable is used to trigger
reproducible PDF compilation, i.e., PDFs that are identical down to the
byte level for repeated runs.
Closes: #6539
Diffstat (limited to 'data')
| -rw-r--r-- | data/templates/default.latex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/data/templates/default.latex b/data/templates/default.latex index 781133776..b008d3db2 100644 --- a/data/templates/default.latex +++ b/data/templates/default.latex @@ -40,6 +40,19 @@ $header-includes$ $endfor$ $after-header-includes.latex()$ $hypersetup.latex()$ +$if(pdf-trailer-id)$ + +\ifXeTeX +\special{pdf:trailerid [ $pdf-trailer-id$ ]} +\fi +\ifPDFTeX +\pdftrailerid{} +\pdftrailer{/ID [ $pdf-trailer-id$ ]} +\fi +\ifLuaTeX +\pdfvariable trailerid {[ $pdf-trailer-id$ ]} +\fi +$endif$ $if(title)$ \title{$title$$if(thanks)$\thanks{$thanks$}$endif$} |