[pdftex] Consider removing dependence of PDF ID field on current directory name
vojta at math.berkeley.edu
Tue Sep 5 21:39:44 CEST 2017
On Sat, Sep 02, 2017 at 04:45:50PM -0400, Anders Kaseorg wrote:
> On Sat, 2 Sep 2017, Karl Berry wrote:
> > With that in mind, could printID be changed to avoid depending on the
> > current directory name, either by default
> > I think we can change it by default. Patches welcome.
> Alright. How does this look?
I would suggest s/randomness/variability/ , since people often build in different
directories but don't often do so in directories whose names are chosen using
randomness per se (e.g., mktemp(1)).
--Paul Vojta, vojta at math dot berkeley dot edu
More information about the pdftex