1 files changed, 0 insertions, 13 deletions
diff --git a/doc/txt2html.sh b/doc/txt2html.sh
deleted file mode 100644
index 801541e95..000000000
--- a/doc/txt2html.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/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