Run "make doc" to generate the documentation