Merge "Fix jjb-verify job to ignore the docs directory"