Autogenerated HTML docs for v1.7.12-70-g851f7

1 files changed, 12 insertions, 1 deletions

diff --git a/gitcli.html b/gitcli.html
index 4adbbc0c0..846812e3f 100644
--- a/gitcli.html
+++ b/gitcli.html
@@ -655,6 +655,17 @@ when you give a revision parameter to a command, make sure the parameter is
    if you happen to have a file called <tt>HEAD</tt> in the work tree.

 </p>

 </li>

+<li>

+<p>

+many commands allow a long option "--option" to be abbreviated

+   only to their unique prefix (e.g. if there is no other option

+   whose name begins with "opt", you may be able to spell "--opt" to

+   invoke the "--option" flag), but you should fully spell them out

+   when writing your scripts; later versions of Git may introduce a

+   new option whose name shares the same prefix, e.g. "--optimize",

+   to make a short prefix that used to be unique no longer unique.

+</p>

+</li>

 </ul></div>

 </div>

 <h2 id="_enhanced_option_parser">ENHANCED OPTION PARSER</h2>

@@ -774,7 +785,7 @@ information.</p></div>
 <div id="footnotes"><hr /></div>

 <div id="footer">

 <div id="footer-text">

-Last updated 2012-05-02 15:00:44 PDT

+Last updated 2012-08-22 12:54:47 PDT

 </div>

 </div>

 </body>