diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-27 22:51:44 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-27 22:51:44 +0100 |
| commit | 14d35c8a31d96348d951375fbc9b73fddd8495b9 (patch) | |
| tree | 992e76ce0a58b04e5392295c2328c2462744eba8 /doc/txt2html.sh | |
| parent | 9bf5c98509d5550dfba52eb04606441bd86461b7 (diff) | |
Various fixes & cleanup in doc/ folder
Diffstat (limited to 'doc/txt2html.sh')
| -rw-r--r-- | doc/txt2html.sh | 13 |
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 |