1 files changed, 31 insertions, 0 deletions
diff --git a/sdk/bin/disthtml b/sdk/bin/disthtml
new file mode 100755
index 0000000..4caa151
--- /dev/null
+++ b/sdk/bin/disthtml
@@ -0,0 +1,31 @@
+#!/bin/sh
+
+manprefix=$2
+
+if test -f config.dist ; then
+	. ./config.dist
+fi
+
+if test -z $htmlhome ; then
+	htmlhome=$1/$package
+else
+	htmlhome=$1/$htmlhome
+fi
+
+man2html $manprefix $manpages $htmlhome
+
+for lsmpage in $lsmpages ; do
+	echo "Creating $lsmpage.html..."
+	lsm2html $lsmpage >$htmlhome/$lsmpage.html
+done
+
+for txtpage in $txtpages ; do
+	echo "Creating $txtpage.txt"
+	cp $txtpage $htmlhome/$txtpage.txt
+done
+
+for htmlpage in $htmlpages ; do
+	echo "Copying $htmlpage"
+	cp -f html/$htmlpage $htmlhome/$htmlpage
+done
+