Autogenerated HTML docs for v1.7.5.3-367-ga9930

1 files changed, 14 insertions, 4 deletions

diff --git a/git-sh-setup.html b/git-sh-setup.html
index 59db28543..9f6be347f 100644
--- a/git-sh-setup.html
+++ b/git-sh-setup.html
@@ -495,9 +495,19 @@ require_work_tree
 </dt>

 <dd>

 <p>

-        checks if the repository is a bare repository, and dies

-        if so.  Used by scripts that require working tree

-        (e.g. <tt>checkout</tt>).

+        checks if the current directory is within the working tree

+        of the repository, and otherwise dies.

+</p>

+</dd>

+<dt class="hdlist1">

+require_work_tree_exists

+</dt>

+<dd>

+<p>

+        checks if the working tree associated with the repository

+        exists, and otherwise dies.  Often done before calling

+        cd_to_toplevel, which is impossible to do if there is no

+        working tree.

 </p>

 </dd>

 <dt class="hdlist1">

@@ -517,7 +527,7 @@ get_author_ident_from_commit
 </div>

 <div id="footer">

 <div id="footer-text">

-Last updated 2011-03-15 23:30:14 UTC

+Last updated 2011-05-26 22:39:23 UTC

 </div>

 </div>

 </body>