Does the new Makefile install the man pages?