move manual to top-level directory, split out of debian-installer package

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