Werner
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?
I am pretty sure I have been seeing these page counts for a while.
James
