Re: `make all` too verbose after merge #84

[Werner LEMBERG]

> On 05/08/2020 04:37, Werner LEMBERG wrote:
>> If I now execute `make doc -j4`, I get zillions lines
>>
>>    Page 53
>>    Page 1
>>    Page 2
>>    Page 235
>>    ...
>>
>> emitted by gs, and which are completely useless and clutter the
>> terminal output.  I let the above command run overnight so that I can
>> check it in the morning; however, inspite of having a really large
>> scrolling buffer of 10000 lines, this was not sufficient to scroll up
>> to the more interesting information.
>>
>> Please fix this.
> 
> Did you not get this before !84?

Nope, IIRC.  Only warnings that 'font foo is too large to be included
as a subfont' or something similar.


    Werner