diff options
author | Ben Walton <bwalton@artsci.utoronto.ca> | 2009-03-22 09:20:44 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-04-12 01:35:12 -0700 |
commit | ee7ec2f9ded03700f2b95cc1d4b3d60ed374132a (patch) | |
tree | 99868338f065f1774e0a567d98fef9c2c7dc4246 /Documentation/git-push.txt | |
parent | Allow users to un-configure rename detection (diff) | |
download | tgif-ee7ec2f9ded03700f2b95cc1d4b3d60ed374132a.tar.xz |
documentation: Makefile accounts for SHELL_PATH setting
Ensure that the Makefile that generates and installs the Documentation is
aware of any SHELL_PATH setting. Use this value if found or the current
setting for SHELL if not. This is an accommodation for systems where sh
is not POSIX enough.
Signed-off-by: Ben Walton <bwalton@artsci.utoronto.ca>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions