Restructure public side of navigation service.

mojo/tools/roll/rev_sdk.py

 #!/usr/bin/env python
 # Copyright 2014 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 import os
 import sys
 from utils import commit
 from utils import mojo_root_dir
 from utils import system
 
 dirs_to_clone = [
   "mojo/edk",
   "mojo/public",
   "mojo/services/public",
   "mojo/services/accessibility/public",
   "mojo/services/clipboard/public",
   "mojo/services/content_handler/public",
   "mojo/services/geometry/public",
   "mojo/services/gpu/public",
   "mojo/services/input_events/public",
   "mojo/services/native_viewport/public",
+  "mojo/services/navigation/public",
   "mojo/services/network/public",
   "mojo/services/surfaces/public",
   "mojo/services/view_manager/public",
   "mojo/services/window_manager/public",
 ]
 
 def rev(source_dir, chromium_dir):
   src_commit = system(["git", "show-ref", "HEAD", "-s"], cwd=source_dir).strip()
 
   for d in dirs_to_clone:
@@ skipping 16 matching lines @@
   with open("mojo/public/VERSION", "w") as version_file:
     version_file.write(src_commit)
   system(["git", "add", "mojo/public/VERSION"], cwd=chromium_dir)
   commit("Update mojo sdk to rev " + src_commit, cwd=chromium_dir)
 
 if len(sys.argv) != 2:
   print "usage: rev_sdk.py <chromium source dir>"
   sys.exit(1)
 
 rev(mojo_root_dir, sys.argv[1])