From 0cc9b20c15460213e488bf5e70963b941482f628 Mon Sep 17 00:00:00 2001 From: William Harrington Date: Tue, 14 Jan 2025 16:06:02 -0600 Subject: Add source. --- sdk/bin/disthtml | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100755 sdk/bin/disthtml (limited to 'sdk/bin/disthtml') 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 + -- cgit v1.2.3-54-g00ecf