`make all` too verbose after merge #84

[Werner LEMBERG]

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.


    Werner