#! /bin/sh umask 022 PATH="/usr/local/bin:/usr/bin" export PATH # slide separator pattern # br="
---
" # get last slide number # n=`grep "$br" vecr.htm | wc -l` # previous file # en="$n" es=`printf "%.4d" "$en"` e="$es.htm" # current file # fn="0" fs="0000" f="$fs.htm" # next file # gn="1" gs="0001" g="$gs.htm" # function to print header # print_header() { echo "VECR \"\" \"\" \"\" View/Edit/Compile/Run - " m=0 while [ "$m" -le "$n" ]; do if [ "$m" -eq "$fn" ]; then echo "$m" else ms=`printf "%.4d" "$m"` echo "$m" fi m=`expr "$m" + 1` done } rm -f 00*.htm exec < "vecr.htm" echo "${0}: creating file $f" 1>&2 exec > "$f" print_header while read line do if [ "$line" = "$br" ]; then echo "" # en="$fn"; es="$fs"; e="$f" fn="$gn"; fs="$gs"; f="$g" if [ "$gn" -eq "$n" ]; then gn="0" else gn=`expr "$gn" + 1` fi gs=`printf "%.4d" "$gn"` g="$gs.htm" # echo "${0}: creating file $f" 1>&2 exec > "$f" print_header else echo "$line" fi done echo "" exec 1>&2 weblint 00*.htm