In make clean, don't complain if doc doesn't exist

Running make clean before make doc, I got an error on "rmdir doc".