[hcoop/debian/mlton.git] / doc / guide / bin / mk-html5-header-conf.sh

#!/bin/sh

prefix="$2"
csplit -f ${prefix} -n 2 -s $1 '%\[header\]%' '/<body.*>/+1' '/<div id="content">/+1'
(cat ${prefix}00; echo "<div id=\"banner\">"; echo "template::[banner-body]"; echo "</div>"; cat ${prefix}01) > $2
rm ${prefix}00 ${prefix}01 ${prefix}02
Commit	Line	Data
7f918cf1 CE	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