diff options
| author | Tilman Sauerbeck <tilman@code-monkey.de> | 2006-05-18 12:57:04 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-05-18 20:15:45 -0700 |
| commit | 52db0495dcb88f38590bc00607052fc5758b07d1 (patch) | |
| tree | fb9973e04b7879386431a4b68aa569f9824b9d61 /Documentation/install-webdoc.sh | |
| parent | ff62b7f37899de2faa88cbb5be1f3bcfa246012c (diff) | |
| download | git-52db0495dcb88f38590bc00607052fc5758b07d1.tar.gz | |
Documentation/Makefile: create tarballs for the man pages and html files
[jc: rewrote by stealing from what I run to update html and
man branches automatically]
Signed-off-by: Tilman Sauerbeck <tilman@code-monkey.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
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 |