doc/Makefile: cleaning now cleans the converted html doc; realclean also cleans the original