Re: Consider removing dependence of PDF ID field on current directory name

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