diff options
author | Junio C Hamano <junkio@cox.net> | 2006-05-24 16:49:24 -0700 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-05-24 16:49:24 -0700 |
commit | a5c8a98ca7e978c334e956df7ae2165c75c494da (patch) | |
tree | df77e4b7b652a72f6bb862e81a55f95692eda55a /Documentation/install-webdoc.sh | |
parent | 6858d494926437ad7b7e9199ea39953eb90c7bab (diff) | |
parent | 84c667ff97da2a3864ef7952b9f438d133ce35ef (diff) | |
download | git-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-x | Documentation/install-webdoc.sh | 8 |
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 |