Documentation generation, and Makefile.