diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/update_html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/update_html b/bin/update_html new file mode 100644 index 000000000..75f54b13e --- /dev/null +++ b/bin/update_html @@ -0,0 +1,11 @@ +#!/bin/bash + +### This script finds all .t2t (txt2tags) files and updates the corresponding +### .html file, if it is out-of-date. + +find . -name '*.t2t' | while read t2t ; do + html="${t2t%.t2t}.html" + if [ "$t2t" -nt "$html" ] ; then + txt2tags -thtml "$t2t" + fi +done
\ No newline at end of file |