Remove PHONY option in documentation Makefile

This was kicking all the time a clean up of everything, rather unwelcome.