diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-08-30 09:38:12 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-08-30 09:38:12 +0400 |
| commit | 8d0991d7d7d7e68ef39fe8d302f43110ef2c65d1 (patch) | |
| tree | e7442052d5657196c2ccec421e5e1b17ff8fa207 /Documentation/howto-index.sh | |
| parent | 3459c2c433ac46eac596810d2ef2c3d4ef949852 (diff) | |
Allow asciidoc formatted documentation in howto/
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/howto-index.sh')
| -rwxr-xr-x | Documentation/howto-index.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Documentation/howto-index.sh b/Documentation/howto-index.sh index f9d3e57a91..34aa30c5b9 100755 --- a/Documentation/howto-index.sh +++ b/Documentation/howto-index.sh @@ -41,7 +41,14 @@ do q }' "$txt"` - echo "* link:$txt[$title] $from + if grep 'Content-type: text/asciidoc' >/dev/null $txt + then + file=`expr "$txt" : '\(.*\)\.txt$'`.html + else + file="$txt" + fi + + echo "* link:$file[$title] $from $abstract " |