Ignoring docs folder from license check

Docs are usually formed out of documents that can have issues with displaying/having licenses.
Ignoring them for the license check is the best approach.

Change-Id: Icfcd86cf255f645cad6a4e31401f71d5e8b93264
diff --git a/jjb/shell/licensecheck.sh b/jjb/shell/licensecheck.sh
index 160ee8b..45fba67 100755
--- a/jjb/shell/licensecheck.sh
+++ b/jjb/shell/licensecheck.sh
@@ -110,6 +110,7 @@
   ! -path "*.drawio" \
   ! -name "*.pb.h" \
   ! -name "*.pb.cc" \
+  ! -name "*/docs/*" \
   -print0 )
 
 exit ${fail_licensecheck}