Update docs with latest changes

man/html/depot_tools.html

Index: man/html/depot_tools.html
diff --git a/man/html/depot_tools.html b/man/html/depot_tools.html
index 8676c0c3d449289a6039ccf65ade6fa6db0bb7cf..ab1feece8989f15e6232eda2d71c9fe80d4be995 100644
--- a/man/html/depot_tools.html
+++ b/man/html/depot_tools.html
@@ -756,7 +756,7 @@ depot_tools(7) Manual Page
 <div class="sectionbody">
 <div class="paragraph"><p>The Chromium depot_tools suite contains many tools to assist/augment the
 Chromium development environment. The tools may be downloaded from
-<a href="https://chromium.googlesource.com/chromium/tools/depot_tools.git">here</a>.</p></div>
+<a href="https://chromium.googlesource.com/chromium/tools/depot_tools">here</a>.</p></div>
 <div class="paragraph"><p>There are two primary categories of tools. Some of these tools are <em>essential</em>
 to the development flow, in the sense that you cannot successfully develop
 Chromium without them.</p></div>
@@ -771,6 +771,14 @@ ease the develpment workflow.</p></div>
 <div class="paragraph"><p>A tutorial for these tools can be found at <a href="depot_tools_tutorial.html">depot_tools_tutorial(7)</a>.</p></div>
 <div class="dlist"><dl>
 <dt class="hdlist1">
+<a href="git-auto-svn.html">git-auto-svn(1)</a>
+</dt>
+<dd>
+<p>
+Automatically set up git-svn metadata for a repo mirrored from SVN.
+</p>
+</dd>
+<dt class="hdlist1">
 <a href="git-cherry-pick-upload.html">git-cherry-pick-upload(1)</a>
 </dt>
 <dd>
@@ -927,7 +935,7 @@ Print a diff of the current branch, compared to its upstream.
 <div id="footnotes"><hr /></div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2016-01-28 16:40:21 AEDT
+Last updated 2016-07-21 10:09:00 PDT
 </div>
 </div>
 </body>