tests/get_example.sh

   1 #!/bin/sh
   2 RM='rm -f'
   3 SCI=..
   4 FILE=$2
   5 LOGFILE='get_examples.log'
   6
   7 $RM prov $LOGFILE
   8
   9 echo '//' `date` > prov
  10 echo '' >> prov
  11
  12 do_example()
  13 {
  14 echo '//====================================================' >> prov
  15 echo '//' "$1" >> prov
  16 echo '//====================================================' >> prov
  17
  18 res=`grep '<EXAMPLE>' $1 2> /dev/null`
  19 if test -n "$res"
  20 then
  21         echo "clear;lines(0);" >> prov
  22         sed -e '1,/<EXAMPLE>/d' $1 |sed -e '/<\/EXAMPLE>/,$d'| \
  23             sed -e 's/<\!\[CDATA\[//'|sed -e 's/ \]\]>//' >>prov
  24         echo "$1" PROCESSED >> $LOGFILE
  25         echo "for k=winsid(),xdel(k);end" >> prov
  26 else
  27         echo "$1" NO EXAMPLE >> $LOGFILE
  28 fi
  29 echo '' >> prov
  30
  31 }
  32
  33 echo -n "Processing man/eng/$1 "
  34 for f in $SCI/man/eng/$1/*.xml
  35 do
  36         echo -n '.'
  37         do_example $f
  38 done
  39
  40
  41 echo ""
  42
  43 echo ''
  44 echo `grep PROCESSED $LOGFILE|wc -l` examples extracted from `cat  $LOGFILE|wc -l` manual files.
  45
  46 $RM $FILE
  47
  48 sed -e 's/\\\\/\\/' prov > $FILE
  49
  50 $RM prov