summaryrefslogtreecommitdiff
path: root/Documentation/install-webdoc.sh
diff options
context:
space:
mode:
authorJunio C Hamano <junkio@cox.net>2006-05-24 16:49:24 -0700
committerJunio C Hamano <junkio@cox.net>2006-05-24 16:49:24 -0700
commita5c8a98ca7e978c334e956df7ae2165c75c494da (patch)
treedf77e4b7b652a72f6bb862e81a55f95692eda55a /Documentation/install-webdoc.sh
parent6858d494926437ad7b7e9199ea39953eb90c7bab (diff)
parent84c667ff97da2a3864ef7952b9f438d133ce35ef (diff)
downloadgit-a5c8a98ca7e978c334e956df7ae2165c75c494da.tar.gz
Merge branch 'master' into sp/reflog
* master: (90 commits) fetch.c: remove an unused variable and dead code. Clean up sha1 file writing Builtin git-cat-file builtin format-patch: squelch content-type for 7-bit ASCII CMIT_FMT_EMAIL: Q-encode Subject: and display-name part of From: fields. add more informative error messages to git-mktag remove the artificial restriction tagsize < 8kb git-rebase: use canonical A..B syntax to format-patch git-format-patch: now built-in. fmt-patch: Support --attach fmt-patch: understand old <his> notation Teach fmt-patch about --keep-subject Teach fmt-patch about --numbered fmt-patch: implement -o <dir> fmt-patch: output file names to stdout Teach fmt-patch to write individual files. built-in tar-tree and remote tar-tree Builtin git-diff-files, git-diff-index, git-diff-stages, and git-diff-tree. Builtin git-show-branch. Builtin git-apply. ...
Diffstat (limited to 'Documentation/install-webdoc.sh')
-rwxr-xr-xDocumentation/install-webdoc.sh8
1 files changed, 6 insertions, 2 deletions
diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index 50638c78d5..60211a5058 100755
--- a/Documentation/install-webdoc.sh
+++ b/Documentation/install-webdoc.sh
@@ -4,12 +4,16 @@ T="$1"
for h in *.html *.txt howto/*.txt howto/*.html
do
- diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h" || {
+ if test -f "$T/$h" &&
+ diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"
+ then
+ :; # up to date
+ else
echo >&2 "# install $h $T/$h"
rm -f "$T/$h"
mkdir -p `dirname "$T/$h"`
cp "$h" "$T/$h"
- }
+ fi
done
strip_leading=`echo "$T/" | sed -e 's|.|.|g'`
for th in "$T"/*.html "$T"/*.txt "$T"/howto/*.txt "$T"/howto/*.html