>> The idea is to do the following:
>>
>> export LD_PRELOAD=/usr/local/lib/libfaketime.so.1
>> export FAKETIME="2020-12-24 00:00:00"
>>
>> make all
>> make doc
>>
>> This freezes the current time at a given value.
>
> Isn't that a problem for the operation of Make itself since it
> relies on file modification dates?
File timestamping is not intercepted, thus 'make' works just fine.
Actually, I'm pleasantly surprised that it's that simple. I've
originally expected to apply the 'faketime' stuff for specific
commands that generate PDFs...
Werner
