manual/tools/make_mail_subjects.awk

BEGIN{nop=0}
/.*TITLE.*/{split($0,pt,">"); split(pt[2],ptt,"<")}
/<a href=mailto:.*/{ 
printf("
<script language="javascript">
<!--
 document.write("<a href=\"mailto:support@mitgcm.org?subject=[MITgcm Manual] section " + document.title + "&body=Comments and questions on page " + document.URL + "\">");
// -->
</script>
\n");
nop=1}
{if ( nop ==0 ) print}
{if ( nop ==1 ) nop=0}
END{}
1	BEGIN{nop=0}
2	/.TITLE./{split($0,pt,">"); split(pt[2],ptt,"<")}
3	/<a href=mailto:.*/{
4	printf("
5	<script language="javascript">
6	<!--
7	document.write("<a href=\"mailto:support@mitgcm.org?subject=[MITgcm Manual] section " + document.title + "&body=Comments and questions on page " + document.URL + "\">");
8	// -->
9	</script>
10	\n");
11	nop=1}
12	{if ( nop ==0 ) print}
13	{if ( nop ==1 ) nop=0}
14	END{}