Add documentation building facility in the makefile.