1 files changed, 3 insertions, 0 deletions

diff --git a/bin/filter.sh b/bin/filter.sh
new file mode 100755
index 0000000..5c7668b
--- /dev/null
+++ b/bin/filter.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+sed '/^\(#+html: *<hr\/>\)$/d' src/en/index.org > src/en/index-filtered.org