make clean does not fail when doc does not exist

With the previous version, running make clean without make doc first
resulted in an error on rmdir doc.