From c9d442575114f1efdb58f5b1a4419c0083301649 Mon Sep 17 00:00:00 2001 From: Googler Date: Fri, 30 Jun 2017 21:13:31 +0200 Subject: Describe the tool `generate_workspace` in a separate topic. Update instructions for generating a WORKSPACE file. PiperOrigin-RevId: 160673799 --- site/_layouts/documentation.html | 1 + 1 file changed, 1 insertion(+) (limited to 'site/_layouts') diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index 77e46b431d..e31fa3d7b8 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -80,6 +80,7 @@ nav: docs
  • Query How-To
  • mobile-install (Android)
  • External Dependencies
  • +
  • Generate External Dependencies from Maven
  • Command-line Reference
  • Output Directories
  • Bazel on Windows
  • -- cgit v1.2.3