Add "make doc" to makefile