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

[Werner LEMBERG]

> extractpdfmark not tex
> 
> (I assume that comment was a typo?)

Yes.

> anyway with it installed you will get those messages, without you
> won't (or at least I did not).
> 
> and it has been a thing for me for a lot longer than 3 weeks.

Well, as reported, I didn't get those page messages since a long
time...

Could you compare my configuration log file with with yours?  Maybe we
can quickly find the problem.  Or maybe other people know more?

Otherwise I'll try `git bisect` (which is quite slow this time since I
have to restart again and again `make doc` with a clean repository,
just to be sure to start with a pristine state).


    Werner