From 2ec824609733d586e19b9be7d4889cb887c17fac Mon Sep 17 00:00:00 2001
From: mmuller <mmuller@google.com>
Date: Fri, 14 Dec 2018 10:38:22 -0800
Subject: [PATCH] Add a dependency on the local tools.jar for doc tool
 generation.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=225565675
---
 gradle/core/build.gradle | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gradle/core/build.gradle b/gradle/core/build.gradle
index 829f987ec..a61894bbf 100644
--- a/gradle/core/build.gradle
+++ b/gradle/core/build.gradle
@@ -262,6 +262,9 @@ dependencies {
   // Dependencies needed for compiling stylesheets to javascript
   css 'com.google.closure-stylesheets:closure-stylesheets:1.5.0'
   css 'args4j:args4j:2.0.26'
+
+  // Tool dependencies.  used for doc generation.
+  compile files("${System.properties['java.home']}/../lib/tools.jar")
 }
 
 task jaxbToJava {