From ed6eb010614b5b27757619fc629d7330fc8c4122 Mon Sep 17 00:00:00 2001
From: Keith Packard <keithp@keithp.com>
Date: Fri, 17 Jun 2016 10:18:20 -0700
Subject: [PATCH] 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>
---
 doc/install-html | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100755 doc/install-html

diff --git a/doc/install-html b/doc/install-html
new file mode 100755
index 00000000..71c7933c
--- /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
-- 
2.30.2