1 78e51a8c 2005-01-14 devnull #!/usr/local/plan9/bin/rc
3 b1a5ffde 2005-01-14 devnull verbose=no
4 b1a5ffde 2005-01-14 devnull if(~ $1 -v)
5 b1a5ffde 2005-01-14 devnull verbose=yes
7 f3e87201 2005-01-18 devnull fn silencer {
8 f3e87201 2005-01-18 devnull switch($verbose){
10 f3e87201 2005-01-18 devnull cat >/dev/null
17 78e51a8c 2005-01-14 devnull cd $PLAN9/man
18 78e51a8c 2005-01-14 devnull # rm -f */*.html
20 78e51a8c 2005-01-14 devnull for(i in */INDEX) @{
21 78e51a8c 2005-01-14 devnull n=`{echo $i | sed 's/man//;s!/INDEX!!'}
22 78e51a8c 2005-01-14 devnull cat $PLAN9/dist/manindextop.html | sed 's/NNN/'$n'/g'
23 78e51a8c 2005-01-14 devnull cd `{basename -d $i}
24 78e51a8c 2005-01-14 devnull # complicated sort order: want 9p.3, 9p-cmdbuf.3, 9pclient.3
25 f3e87201 2005-01-18 devnull for (j in `{ls [a-z0-9:]*.[0-9]* >[2]/dev/null | sed 's/[.\-]/ &/g;s/\./ &/g' | sort | tr -d ' '}){
26 78e51a8c 2005-01-14 devnull n=`{grep '^\.TH' $j | sed 1q | awk '{print $3}'}
27 78e51a8c 2005-01-14 devnull name=`{echo $j | sed 's/\..*//'}
28 78e51a8c 2005-01-14 devnull if(~ $name 0intro)
29 78e51a8c 2005-01-14 devnull name=intro
31 78e51a8c 2005-01-14 devnull echo '<tr height=1><td>'
32 78e51a8c 2005-01-14 devnull echo '<tr height=1><td colspan=2 bgcolor=#cccccc>'
33 78e51a8c 2005-01-14 devnull echo '<tr height=1><td>'
35 3d52c748 2008-12-07 rsc if(~ $#name 0)
36 3d52c748 2008-12-07 rsc name=XXX-name-$j-XXX
38 3d52c748 2008-12-07 rsc n=XXX-n-$j-XXX
39 78e51a8c 2005-01-14 devnull echo -n '<tr><td valign=top><a href="'$name'.html">'$name'('$n')</a><td>'
41 78e51a8c 2005-01-14 devnull /SH *NAM/,/SH/{
46 78e51a8c 2005-01-14 devnull s/ *\\*-.*/&/
48 78e51a8c 2005-01-14 devnull s/ *\\\(mi.*/&/
50 78e51a8c 2005-01-14 devnull s/\n\\n/\
54 78e51a8c 2005-01-14 devnull /SH *DES/q
60 78e51a8c 2005-01-14 devnull s/\\-/\–/
64 78e51a8c 2005-01-14 devnull cat $PLAN9/dist/manindexbottom.html
65 78e51a8c 2005-01-14 devnull } >$i.html && mv $i.html `{echo $i.html | tr A-Z a-z}
67 78e51a8c 2005-01-14 devnull for (i in */[~.]*.[0-9]*){
68 78e51a8c 2005-01-14 devnull j=`{echo $i | 9 sed 's/\..*//'}
69 78e51a8c 2005-01-14 devnull p=`{basename $j}
70 78e51a8c 2005-01-14 devnull d=`{basename -d $j}
71 78e51a8c 2005-01-14 devnull if(~ $p 0intro)
73 b1a5ffde 2005-01-14 devnull if(~ $verbose yes) echo $d/$p
74 f3e87201 2005-01-18 devnull troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/manweb.html |[2] silencer
76 78e51a8c 2005-01-14 devnull sed '/<!-- TRAILER -->/q' /tmp/manweb.html
77 78e51a8c 2005-01-14 devnull cat $PLAN9/dist/mantrailer.html
78 78e51a8c 2005-01-14 devnull sed -n '/<!-- TRAILER -->/,$p' /tmp/manweb.html
79 7383736c 2005-02-15 devnull } | $PLAN9/dist/addsrclinks >$d/$p.html
81 78e51a8c 2005-01-14 devnull rm /tmp/manweb.html
82 1a4b2922 2005-01-14 devnull cd $PLAN9/dist
83 0245a72a 2005-01-14 devnull ./fixurls $PLAN9/man/man*/*.html