Add help.htmlpathalt to git-config html docs
Change-Id: Iac43d163b3cb4b07cc2877fe980628fc8799499d
Reviewed-on: https://chromium-review.googlesource.com/236875
Reviewed-by: Robert Iannucci <[email protected]>
Tested-by: Robert Iannucci <[email protected]>
diff --git a/git-config.html b/git-config.html
index db6205d..1fc5c92 100644
--- a/git-config.html
+++ b/git-config.html
@@ -4245,6 +4245,19 @@
</p>
</dd>
<dt class="hdlist1">
+help.htmlpathalt
+</dt>
+<dd>
+<p>
+ Specify an alternate path where the HTML documentation resides. This
+ will be used if the documentation in question cannot be found under
+ the value for <tt>help.htmlpath</tt>. File system paths and URLs are
+ supported, but note that if <tt>help.htmlpath</tt> is set to a URL then this
+ option will not be consulted. HTML pages will be prefixed with this
+ path when help is displayed in the <em>web</em> format.
+</p>
+</dd>
+<dt class="hdlist1">
http.proxy
</dt>
<dd>
