commit 7297c0c900c3ef66a244b34d037356ad92829a00
author Brian Silverman <bsilver16384@gmail.com> Sun Aug 05 13:43:00 2018 -0700
committer Brian Silverman <bsilver16384@gmail.com> Sat Aug 11 23:50:25 2018 -0700
tree 95a3e5366e60e375613bb869a632260bcfd65ee8
parent e5aad9c1087c8fcd0876fe06aa3418cb4a27eb44

Use downloaded pandoc instead of relying on it to be installed

Change-Id: I6477b14bafd04b4d44257526c99d816e77661bb0

motors/BUILD

diff --git a/motors/BUILD b/motors/BUILD
index 50a4bce..395765e 100644
--- a/motors/BUILD
+++ b/motors/BUILD
@@ -43,7 +43,7 @@
         "NOTES.html",
     ],
     cmd = " ".join([
-        "pandoc",
+        "$(location @pandoc)",
         "-f",
         "markdown_github-hard_line_breaks",
         "-t",
@@ -52,6 +52,10 @@
         "$@",
         "$<",
     ]),
+    tools = [
+        "@pandoc",
+        "@pandoc//:all_files",
+    ],
 )
 
 cc_library(