1 files changed, 13 insertions, 0 deletions
diff --git a/doc/txt2html.sh b/doc/txt2html.sh
new file mode 100644
index 000000000..801541e95
--- /dev/null
+++ b/doc/txt2html.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+FILES="darcs.txt transfer-reference.txt transfer-tutorial.txt \
+      transfer.txt"
+
+for f in $FILES; do
+  h=`basename "$f" ".txt"`.html
+  if [ "$f" -nt "$h" ]; then 
+    txt2tags $f
+  else
+    echo "$h is newer than $f, skipping"
+  fi
+done