doc/guide/bin/mk-html5-header-conf.sh

   1 #!/bin/sh
   2
   3 prefix="$2"
   4 csplit -f ${prefix} -n 2 -s $1 '%\[header\]%' '/<body.*>/+1' '/<div id="content">/+1'
   5 (cat ${prefix}00; echo "<div id=\"banner\">"; echo "template::[banner-body]"; echo "</div>"; cat ${prefix}01) > $2
   6 rm ${prefix}00 ${prefix}01 ${prefix}02