Re: PDF docs for 2.19.82 broken/missing fonts

[Knut Petersen]

Am 27.06.2018 um 18:37 schrieb Phil Holmes:
> > Ah ok, I wasn't aware that they were actual historic records.  Seems
> > like a puzzler.  I'll take a look as well and see whether I have better
> > luck inventing some theory of what may have transpired here.  Do we have
> > an idea whether this is reproducible?
> >
> > --
> > David Kastrup
>
> I've not re-run GUB since the uploaded version.

The output of

   find build -type f -exec ls  --full-time {} \; | grep "2018-" | sed -e 
"s/^[[:print:]]* 2018-/2018-/" | sort

might be helpful.


Knut