summaryrefslogtreecommitdiff
path: root/doc/txt2html.sh
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2005-12-06 16:23:29 +0000
committerbringert <bringert@cs.chalmers.se>2005-12-06 16:23:29 +0000
commit41aaed58d4734b7cec5a4d2567283cb818f77cbb (patch)
tree63f33adabdaa7751d653ccbf962ced80ead24d1f /doc/txt2html.sh
parent1094204640cf1b12de751651c00b78f18d047429 (diff)
Moved transfer documentation to doc/. Added sections and text to transfer tutorial and reference. Added script for generating html from txt2tags files.
Diffstat (limited to 'doc/txt2html.sh')
-rw-r--r--doc/txt2html.sh13
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