#!/bin/csh rm -f $1.html set OWNER=`../src/do_it ../Input/$1.input OWNER "" ""` set URL=`grep $1 ../Images/Mapping4 | awk -f parse.awk` set BACK=`grep $1 ../Images/Mapping3 | awk -f parse.awk` echo '' >$1.html echo '' >>$1.html echo ' ' >>$1.html echo '' >>$1.html echo "OLIVE: $1" >>$1.html echo '' >>$1.html echo '' >>$1.html echo '' >>$1.html echo ' ' >>$1.html echo '>$1.html cat ../Images/Background_Page >>$1.html echo ' ' >>$1.html echo '

' >>$1.html echo '

' >>$1.html echo ' ' >>$1.html echo '

Background

' >>$1.html ../src/do_it ../Input/$1.input BACKGROUND "

" "

" >>$1.html echo ' ' >>$1.html echo '

Tasks

' >>$1.html echo '

Projects

' >>$1.html echo '

Products

' >>$1.html echo '

Citations

' >>$1.html echo '

Videos

' >>$1.html echo '

Page Maintainers

' >>$1.html echo '

' >>$1.html echo ' ' >>$1.html echo '' >>$1.html echo ' ' >>$1.html echo '

' >>$1.html echo '

' >>$1.html echo 'Last modified: ' >>$1.html date >>$1.html echo ' - ' >>$1.html ../src/do_it ../Input/$1.input ALL_AUTHOR "" "" >>$1.html echo '

' >>$1.html echo ' ' >>$1.html echo '' >>$1.html chmod u+rw,go-w,a+r $1.html