diff options
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 " |