diff options
Diffstat (limited to 'scripts/historic/2format')
-rwxr-xr-x | scripts/historic/2format | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/historic/2format b/scripts/historic/2format new file mode 100755 index 000000000..2e3ca0d48 --- /dev/null +++ b/scripts/historic/2format @@ -0,0 +1,19 @@ +#!/bin/sh + +tmp=`tempfile` + +while [ x"$1" != x ]; do + echo $1 + cat $1 \ + | tr -d '\t' \ + | sed -f formatparasect \ + | sed -f para1 \ + | sed '/<\/para>/{:a;N;/<para>/!ba;s/<\/para>\n*<para>/<\/para><para>/;}' \ + | cat -s > $tmp + cp $tmp $1 + shift; +done + +rm -f $tmp + +# | sed -f fix \
\ No newline at end of file |