On 01/08/2019 11:58, Hilmar Preuße wrote:
> Am 31.07.2019 um 20:39 teilte Norbert Preining mit:
>
> Hi Norbert,
>
>> But hard-coded rewriting of the actual creating time is wrong. We
>> need to do something similar to what pdftex/luatex/xetex/... does. If
>> the variable is set it provides a datetime that should be used
>> instead of the actual time.
>>
>> You can look into the first patch by looking at the texlive-bin
>> repository with
>> git show c832647f4d1fe579fd4eb46ff8b505030b5124db
>>
> OK, next offer attached. The SOURCE_DATE_EPOCH is now regarded and
> verbatim copied into the "%%CreationDate:", when it is set.
>
> 1. I don't check content of SOURCE_DATE_EPOCH
> 2. Not sure if "%%CreationDate: 1265974891" is valid Postscript
>
> If we need to convert that into human readable string anybody has to
> implement it. Sorry, I'm not a C programmer.
you want to use strftime :
https://www.gnu.org/software/libc/manual/html_node/Formatting-Calendar-Time.html
However,
would it not be safer to modify mp_time instead in case mp_time is use
elsewhere ?
Jerome
>
> H.
>
--
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calcu...@rezozer.net
AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B
