Merge pull request #6296 from aaudiber/docs-without-javadoc

[SMALLFIX] Allow docs to build without javadoc
Alluxio · Oct 16, 2017 · b4eeec6 · b4eeec6
2 parents 2546810 + b92ba3b
commit b4eeec6
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/docs/_plugins/copy_javadoc_to_docs.rb b/docs/_plugins/copy_javadoc_to_docs.rb
@@ -10,7 +10,11 @@
 puts "Making directory " + dest
 mkdir_p dest
 
-puts "cp -r " + source + "/. " + dest
-cp_r(source + "/.", dest)
+if !File.directory?(source)
+  puts "WARNING: " + source + " not found, continuing without javadoc"
+else
+  puts "cp -r " + source + "/. " + dest
+  cp_r(source + "/.", dest)
+end
 
 cd("..")