diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-08-29 22:38:12 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-29 22:38:12 -0700 |
| commit | 8d0991d7d7d7e68ef39fe8d302f43110ef2c65d1 (patch) | |
| tree | e7442052d5657196c2ccec421e5e1b17ff8fa207 /Documentation/install-webdoc.sh | |
| parent | 3459c2c433ac46eac596810d2ef2c3d4ef949852 (diff) | |
| download | git-8d0991d7d7d7e68ef39fe8d302f43110ef2c65d1.tar.gz | |
Allow asciidoc formatted documentation in howto/
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/install-webdoc.sh')
| -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 1f534f1e77..e51a40eecd 100755 --- a/Documentation/install-webdoc.sh +++ b/Documentation/install-webdoc.sh @@ -2,7 +2,7 @@ T="$1" -for h in *.html howto/*.txt +for h in *.html howto/*.txt howto/*.html do diff -u "$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 +for th in "$T"/*.html "$T"/howto/*.txt "$T"/howto/*.html do h=`expr "$th" : "$strip_leading"'\(.*\)'` case "$h" in |