From 14d35c8a31d96348d951375fbc9b73fddd8495b9 Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@johnjcamilleri.com>
Date: Tue, 27 Nov 2018 22:51:44 +0100
Subject: Various fixes & cleanup in doc/ folder

---
 doc/txt2html.sh | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 doc/txt2html.sh

(limited to 'doc/txt2html.sh')

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
-- 
cgit v1.2.3