Build docs but redirect stderr to /dev/null.

Build the HTML docs as part of the CI tests but redirect the overly verbose output to /dev/null.