buildscripts/install-info-html.sh

   1 #!@BASH@
   2
   3 dir=$1
   4 index=$dir/index.html
   5 shift
   6
   7 rm -f $index
   8 cat > $index <<EOF
   9 <html>
  10 <body>
  11 You want to be <a href=$1/$1.html>here</a>
  12 <p>
  13 <ul>
  14 EOF
  15
  16 for i in $*; do
  17 cat >> $index <<EOF
  18 <li> <a href=$i/$i.html>$i</a>
  19 EOF
  20 done
  21
  22 cat >> $index <<EOF
  23 </ul>
  24 </body>
  25 </html>
  26 EOF
  27