Merge "Ignoring docs folder from license check"
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}