[Echobase-build] Jenkins build is back to normal : echobase-doc #4