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: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{} |