are built from Documentation/ directory of the git.git project
and needed to be kept up-to-date. The www.kernel.org/ servers
are mirrored and I was told that the origin of the mirror is on
master.kernel.org, on which I was given an account
+the machine .kernel.org, on which I was given an account
when I took over git maintainership from Linus.
The directories relevant to this how-to are these two:
$ chmod +x /pub/scm/git/git.git/hooks/post-update
three things worth mentioning:
+There are things worth mentioning:
- The update-hook is run after the repository accepts a "git
push", under my user privilege. It is given the full names
pull" it does into $HOME/doc-git/docgen/ repository would not
+ - The stdout of update hook script is not connected to git
+ push; I run the heavy part of the command inside "at", to
+ receive the execution report via e-mail.
- This is still crude and does not protect against simultaneous
make invocations stomping on each other. I would need to add
some locking mechanism for this.