Release process: script for cleaning changebars from .xfpt files
authorJeremy Harris <jgh146exb@wizmail.org>
Fri, 7 Jun 2024 14:38:07 +0000 (15:38 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Fri, 7 Jun 2024 14:38:07 +0000 (15:38 +0100)
release-process/scripts/docs_strip_changebars [new file with mode: 0755]

diff --git a/release-process/scripts/docs_strip_changebars b/release-process/scripts/docs_strip_changebars
new file mode 100755 (executable)
index 0000000..cb6e218
--- /dev/null
@@ -0,0 +1,5 @@
+#!/bin/awk -f
+BEGIN {seen = 0}
+/^\.(new|wen)/ && $seen != 0 {next}
+/^\.wen$/ {seen = 1;next}
+{print}