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