Remove duplicate entry in ./Documentation/Makefile