LUCENE-7793: smokeTestRelease.py should run documentation-lint
diff --git a/dev-tools/scripts/smokeTestRelease.py b/dev-tools/scripts/smokeTestRelease.py
index 83746de..6282226 100644
--- a/dev-tools/scripts/smokeTestRelease.py
+++ b/dev-tools/scripts/smokeTestRelease.py
@@ -707,8 +707,10 @@
         print('      %s' % line.strip())
       raise RuntimeError('source release has WARs...')
 
-    print('    run "ant validate"')
-    java.run_java8('ant validate', '%s/validate.log' % unpackPath)
+    # Can't run documentation-lint in lucene src, because dev-tools is missing
+    validateCmd = 'ant validate' if project == 'lucene' else 'ant validate documentation-lint';
+    print('    run "%s"' % validateCmd)
+    java.run_java8(validateCmd, '%s/validate.log' % unpackPath)
 
     if project == 'lucene':
       print("    run tests w/ Java 8 and testArgs='%s'..." % testArgs)