File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 11#! /bin/sh
22#
33# This script is called from the post-update hook, and when
4- # the master branch is updated, run in $HOME/doc- git, like
4+ # the master branch is updated, run in $HOME/git-doc , like
55# this:
66: << \END_OF_COMMENTARY
77
@@ -17,7 +17,7 @@ $ chmod +x hooks/post-update
1717
1818END_OF_COMMENTARY
1919
20- # $HOME/doc- git is a clone of the git.git repository and
20+ # $HOME/git-doc is a clone of the git.git repository and
2121# has the master branch checkd out. We update the working
2222# tree and build pre-formatted documentation pages, install
2323# in doc-htmlpages and doc-manapges subdirectory here.
@@ -44,9 +44,9 @@ test -d doc-htmlpages || (
4444 cd doc-htmlpages &&
4545 git init-db || exit $?
4646
47- if ID =$( git fetch-pack " $MASTERREPO " html)
47+ if SID =$( git fetch-pack " $MASTERREPO " html)
4848 then
49- git update-ref HEAD ` expr " $ID " : ' \(.*\) .*' ` &&
49+ git update-ref HEAD ` expr " $SID " : ' \(.*\) .*' ` &&
5050 git checkout || exit $?
5151 fi
5252)
@@ -55,9 +55,9 @@ test -d doc-manpages || (
5555 cd doc-manpages &&
5656 git init-db || exit $?
5757
58- if ID =$( git fetch-pack " $MASTERREPO " man)
58+ if SID =$( git fetch-pack " $MASTERREPO " man)
5959 then
60- git update-ref HEAD ` expr " $ID " : ' \(.*\) .*' ` &&
60+ git update-ref HEAD ` expr " $SID " : ' \(.*\) .*' ` &&
6161 git checkout || exit $?
6262 fi
6363)
You can’t perform that action at this time.
0 commit comments