html/makeExampleList

   1 #!/bin/sh
   2  head=EXAMPLE_Index_head.html
   3  file=roothtml/EXAMPLE_Index.html
   4  tail=EXAMPLE_Index_tail.html
   5  def="Example Macro"
   6 #
   7  cp $head $file
   8  for i in roothtml/examples/*.html ; do
   9      title=`grep "// Title:" $i | sed -e 's/.*\/\/ Title: *//' | sed -e 's/ *$//'`
  10      name=`basename $i`
  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>"
  14 #     echo $ref
  15      dots=`echo $ref | awk '{for(i=0;i<35-length($0);i++)printf "."}' `
  16      echo $string1 " $dots " $string2 >> $file
  17  done
  18  cat $tail >> $file