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

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