diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-11-05 12:52:56 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-06 01:12:32 -0800 |
| commit | 54c2533da0228244bbde7f94abfdb0a7fbb859c1 (patch) | |
| tree | 3bb8e95ca4270cdd595730f8e0c231ab5d46c41f | |
| parent | d071e8dbb6849d40038db2d98a601395fe7b0b73 (diff) | |
| download | git-54c2533da0228244bbde7f94abfdb0a7fbb859c1.tar.gz | |
Install asciidoc sources as well.
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | Documentation/install-webdoc.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh index d593ab988b..50638c78d5 100755 --- a/Documentation/install-webdoc.sh +++ b/Documentation/install-webdoc.sh @@ -2,7 +2,7 @@ T="$1" -for h in *.html howto/*.txt howto/*.html +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" || { echo >&2 "# install $h $T/$h" @@ -12,7 +12,7 @@ do } done strip_leading=`echo "$T/" | sed -e 's|.|.|g'` -for th in "$T"/*.html "$T"/howto/*.txt "$T"/howto/*.html +for th in "$T"/*.html "$T"/*.txt "$T"/howto/*.txt "$T"/howto/*.html do h=`expr "$th" : "$strip_leading"'\(.*\)'` case "$h" in |