2 head=EXAMPLE_Index_head.html
3 file=roothtml/EXAMPLE_Index.html
4 tail=EXAMPLE_Index_tail.html
8 for i in roothtml/examples/*.html ; do
9 title=`grep "// Title:" $i | sed -e 's/.*\/\/ Title: *//' | sed -e 's/ *$//'`
11 ref=`basename $i .html`
12 string1="<li><a name=\"$ref\" href=\"examples/$name\">$ref</a>"
13 string2="<a name=\"Title:$ref\">${title:-$def}</a>"
15 dots=`echo $ref | awk '{for(i=0;i<35-length($0);i++)printf "."}' `
16 echo $string1 " $dots " $string2 >> $file