#110, don't give a warning if -threaded is turned off
Build the user manual with -j2, just to test a wider range of pieces