Build documentation using `make doc'