projects
/
git.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Automate the release procedure a bit more.
[git.git]
/
dodoc.sh
diff --git
a/dodoc.sh
b/dodoc.sh
index
a2f87e8
..
15926f3
100755
(executable)
--- a/
dodoc.sh
+++ b/
dodoc.sh
@@
-78,7
+78,7
@@
else
fi || exit $?
cd ../doc-htmlpages &&
fi || exit $?
cd ../doc-htmlpages &&
-
git add .
&&
+
(git add . || echo no new files -- not a big deal)
&&
if git commit -a -m "Autogenerated HTML docs for $NID"
then
git-send-pack "$MASTERREPO" master:refs/heads/html || {
if git commit -a -m "Autogenerated HTML docs for $NID"
then
git-send-pack "$MASTERREPO" master:refs/heads/html || {
@@
-94,7
+94,7
@@
make man1="$DOCREPO/doc-manpages/man1" man7="$DOCREPO/doc-manpages/man7" \
install >../:man.log 2>&1 &&
cd ../doc-manpages &&
install >../:man.log 2>&1 &&
cd ../doc-manpages &&
-
git add .
&&
+
(git add . || echo no new files -- not a big deal)
&&
if git commit -a -m "Autogenerated man pages for $NID"
then
git-send-pack "$MASTERREPO" master:refs/heads/man || {
if git commit -a -m "Autogenerated man pages for $NID"
then
git-send-pack "$MASTERREPO" master:refs/heads/man || {