Merge branch 'new-website'

1 files changed, 8 insertions, 0 deletions

diff --git a/bin/clean_html b/bin/clean_html
new file mode 100755
index 000000000..e2bf0e799
--- /dev/null
+++ b/bin/clean_html
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+### This script finds all .t2t (txt2tags) files and deletes the corresponding html file
+
+find . -name '*.t2t' | while read t2t ; do
+  html="${t2t%.t2t}.html"
+  rm -f "$html"
+done