doc: Add install-html script

This script strips the XML-ish bits from html files so that ikiwiki
can parse them correctly

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/doc/install-html b/doc/install-html
new file mode 100755 (executable)
index 0000000..71c7933
--- /dev/null
+++ b/doc/install-html
@@ -0,0 +1,32 @@
+#!/bin/sh
+destination=
+state=arg
+for file in "$@"; do
+    case $state in
+       arg)
+           case $file in
+               -d)
+                   state=destination
+                   ;;
+               *)
+                   base=`basename $file`
+                   case "$destination" in
+                       "")
+                           echo "Need -d destination option before files" 1>&2
+                           exit 1
+                           ;;
+                       *)
+                           sed \
+                               -e 's/<[?]xml [^>]*>//' \
+                               -e 's/<!DOCTYPE [^>]*>//' "$file" > "$destination/$base"
+                           ;;
+                   esac
+                   ;;
+           esac
+           ;;
+       destination)
+           destination=$file
+           state=arg
+           ;;
+    esac
+done