Don't distclean doc either!