diff options
2 files changed, 4 insertions, 3 deletions
| -rw-r--r-- | awk-edits/Pagenav.awk | 4 | ||||
| -rw-r--r-- | awk-edits/post-Pagenav.awk | 3 |
diff --git a/awk-edits/Pagenav.awk b/awk-edits/Pagenav.awk index 12097f4..e1a57c9 100644 --- a/awk-edits/Pagenav.awk +++ b/awk-edits/Pagenav.awk @@ -38,3 +38,7 @@ BEGIN { "</div>" } } + +/<h1.*/ { + $0 = $0 elem +} diff --git a/awk-edits/post-Pagenav.awk b/awk-edits/post-Pagenav.awk deleted file mode 100644 index 1103695..0000000 --- a/awk-edits/post-Pagenav.awk +++ /dev/null @@ -1,3 +0,0 @@ -/<h1.*/ { - printf elem -} |