diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 22:22:41 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-28 22:22:41 +0100 |
| commit | a7e43d872f5e612f93131f2d8caf811fbee9aa83 (patch) | |
| tree | 1c7de5e7e7c886d6c12e0259c5385a393e4082d1 /doc/txt2html.sh | |
| parent | c6ec8cf302fef3d279a2d9e0a305f8b554978c7f (diff) | |
| parent | d6fc50b40b3b7d16ad9a7d147aedc81e73fe4581 (diff) | |
Merge branch 'new-website'
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 |