2 # $Id: indexdata.sh,v 1.2 2000-03-29 15:07:16 adam Exp $
3 # Script to convert documentation to indexdata.dk style...
4 for i in ${package}*.html; do
5 j=`basename $i html`php
6 awk 'BEGIN { body = 0 } /<\/BODY/ { body = 0; print "<?php id_footer(); ?>" } { if (body == 1) print $0} /<BODY>/ { body = 1; print "<?php require(\"../id_common.inc\"); id_header(\"YAZ Documentation\"); ?>"; } ' < $i | sed '-es/\(HREF=\"yaz.*\)\.html/\1.php/g' >$j