[PATCH] Add doc and install-doc targets to the Makefile