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	cnh	1.1	BEGIN{nop=0}
2			/.TITLE./{split($0,pt,">"); split(pt[2],ptt,"<")}
3			/<a href=mailto:.*/{
4	cnh	1.2	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	cnh	1.1	{if ( nop ==0 ) print}
13			{if ( nop ==1 ) nop=0}
14			END{}