From 78e51a8c6678b6e3dff3d619aa786669f531f4bc Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 03:45:44 +0000 Subject: checkpoint --- dist/manweb | 64 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 64 insertions(+) create mode 100755 dist/manweb (limited to 'dist/manweb') diff --git a/dist/manweb b/dist/manweb new file mode 100755 index 00000000..0a6f0f40 --- /dev/null +++ b/dist/manweb @@ -0,0 +1,64 @@ +#!/usr/local/plan9/bin/rc + +path=($PLAN9/bin $path) +cd $PLAN9/man +# rm -f */*.html + +for(i in */INDEX) @{ + n=`{echo $i | sed 's/man//;s!/INDEX!!'} + cat $PLAN9/dist/manindextop.html | sed 's/NNN/'$n'/g' + cd `{basename -d $i} + # complicated sort order: want 9p.3, 9p-cmdbuf.3, 9pclient.3 + for (j in `{ls [a-z0-9:]*.[0-9]* | sed 's/[.\-]/ &/g;s/\./ &/g' | sort | tr -d ' '}){ + n=`{grep '^\.TH' $j | sed 1q | awk '{print $3}'} + name=`{echo $j | sed 's/\..*//'} + if(~ $name 0intro) + name=intro + if not{ + echo '' + echo '' + echo '' + } + echo -n ''$name'('$n')' + sed -n ' + /SH *NAM/,/SH/{ + /SH/d + s/, *$// + ty + :y + s/ *\\*-.*/&/ + tx + s/ *\\\(mi.*/&/ + tx + s/\n\\n/\ +/g + p + } + /SH *DES/q + d + :x + /^$/d + s/\n\n/\ +/g + s/\\-/\–/ + p + q' $j + } + cat $PLAN9/dist/manindexbottom.html +} >$i.html && mv $i.html `{echo $i.html | tr A-Z a-z} + +for (i in */[~.]*.[0-9]*){ + j=`{echo $i | 9 sed 's/\..*//'} + p=`{basename $j} + d=`{basename -d $j} + if(~ $p 0intro) + p=intro + echo $d/$p + troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html + { + sed '//q' /tmp/manweb.html + cat $PLAN9/dist/mantrailer.html + sed -n '//,$p' /tmp/manweb.html + } >$d/$p.html +} +rm /tmp/manweb.html -- cgit v1.2.3