[pdftex] Consider removing dependence of PDF ID field on current directory name

Paul Vojta 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?
> Anders

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 mailing list