[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PDF docs for 2.19.82 broken/missing fonts

From: Knut Petersen
Subject: Re: PDF docs for 2.19.82 broken/missing fonts
Date: Wed, 27 Jun 2018 18:56:34 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]