X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=doc%2Finstall-html;fp=doc%2Finstall-html;h=71c7933c50981ffbc90767ea8c637c8e20f3378a;hp=0000000000000000000000000000000000000000;hb=ed6eb010614b5b27757619fc629d7330fc8c4122;hpb=afe74c067a31ce420d0d4cdac2069c1d258a5114

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