Makefile fixes for clean and distclean targets.

2013-08-24  Didier Verna  <didier@didierverna.net>

	* src/Makefile (clean, distclean):
	* doc/Makefile (clean, distclean):
	* Makefile (clean, distclean): Ensure rm works even if there is
	nothing to remove.