diff options
Diffstat (limited to 'docs/web/podhtml-filter.awk')
| -rw-r--r-- | docs/web/podhtml-filter.awk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/web/podhtml-filter.awk b/docs/web/podhtml-filter.awk new file mode 100644 index 0000000..4ea7892 --- /dev/null +++ b/docs/web/podhtml-filter.awk @@ -0,0 +1,5 @@ +BEGIN {i=0} +/<\/{0,1}h1/ {if(!i)i=1; gsub("h1", "h4", $0);} +#/<\/body>/ {i=0;} +/BUGS/ {i=-1} +{if(i==1) print;} |