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

#!/bin/sh

prefix="$2"
csplit -f ${prefix} -n 2 -s $1 '%\[footer\]%' '/<div id="footer">/' '%<\/body>%' '/<\/html>/+1'
(cat ${prefix}00; echo "<div id=\"footer\">"; echo "template::[footer-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 '%\[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