#!/bin/sh # FIrst we find the story STORYFILE= DOCDIR= for dir in `echo $DOCDIRS | sed 's/:/ /g'` do if [ -f $dir/story ] ; then STORYFILE=$dir/story DOCDIR=$dir break fi done if [ "$STORYFILE" != "" ] ; then cat $STORYFILE | sed 's/:/ /' | while read file rest do if [ "$file" = "" ] ; then echo ---- else if [ "$1" = "--all" ];then case $file in *.items) rest=`bullet --showtitle $DOCDIR/$file` ;; *.table) rest=`table --showtitle $DOCDIR/$file` ;; *.gr) rest=`graph-svg --showtitle $DOCDIR/$file` ;; *.title) rest=`title --showtitle $DOCDIR/$file` ;; esac echo $file $rest else echo $file fi fi done fi echo ---- cd doc for file in *.html do echo $file done