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

[James]

Hello

On 05/08/2020 11:01, Federico Bruni wrote:
> On Wed, 5 Aug, 2020 at 07:53, James <pkx166h@posteo.net> wrote:
> > I am pretty sure I have been seeing these page counts for a while.
>
> Me too. I think it happens when you have extractpdfmark installed.

yes that is correct - I remember now.

You can uninstall it if you don't need it, it is not mandatory for make doc.

Else you'll need to ask Hosoda-san to see if it can be 'turned' off? 
Perhaps be included in our VERBOSE=X setting so that it can be silenced?

It has nothing to do with !84 after all.

James

>