tmanweb - plan9port - [fork] Plan 9 from user space | |
git clone git://src.adamsgaard.dk/plan9port | |
Log | |
Files | |
Refs | |
README | |
LICENSE | |
--- | |
tmanweb (1675B) | |
--- | |
1 #!/usr/local/plan9/bin/rc | |
2 | |
3 verbose=no | |
4 if(~ $1 -v) | |
5 verbose=yes | |
6 | |
7 fn silencer { | |
8 switch($verbose){ | |
9 case no | |
10 cat >/dev/null | |
11 case yes | |
12 cat | |
13 } | |
14 } | |
15 | |
16 . 9.rc | |
17 cd $PLAN9/man | |
18 # rm -f */*.html | |
19 | |
20 for(i in */INDEX) @{ | |
21 n=`{echo $i | sed 's/man//;s!/INDEX!!'} | |
22 cat $PLAN9/dist/manindextop.html | sed 's/NNN/'$n'/g' | |
23 cd `{basename -d $i} | |
24 # complicated sort order: want 9p.3, 9p-cmdbuf.3, 9pclient.3 | |
25 for (j in `{ls [a-z0-9:]*.[0-9]* >[2]/dev/null | sed 's/[.\-]/ &… | |
26 n=`{grep '^\.TH' $j | sed 1q | awk '{print $3}'} | |
27 name=`{echo $j | sed 's/\..*//'} | |
28 if(~ $name 0intro) | |
29 name=intro | |
30 if not{ | |
31 echo '<tr height=1><td>' | |
32 echo '<tr height=1><td colspan=2 bgcolor=#cccccc… | |
33 echo '<tr height=1><td>' | |
34 } | |
35 if(~ $#name 0) | |
36 name=XXX-name-$j-XXX | |
37 if(~ $#n 0) | |
38 n=XXX-n-$j-XXX | |
39 echo -n '<tr><td valign=top><a href="'$name'.html">'$nam… | |
40 sed -n ' | |
41 /SH *NAM/,/SH/{ | |
42 /SH/d | |
43 s/, *$// | |
44 ty | |
45 :y | |
46 s/ *\\*-.*/&/ | |
47 tx | |
48 s/ *\\\(mi.*/&/ | |
49 tx | |
50 s/\n\\n/\ | |
51 /g | |
52 p | |
53 } | |
54 /SH *DES/q | |
55 d | |
56 :x | |
57 /^$/d | |
58 s/\n\n/\ | |
59 /g | |
60 s/\\-/\–/ | |
61 p | |
62 q' $j | |
63 } | |
64 cat $PLAN9/dist/manindexbottom.html | |
65 } >$i.html && mv $i.html `{echo $i.html | tr A-Z a-z} | |
66 | |
67 for (i in */[~.]*.[0-9]*){ | |
68 j=`{echo $i | 9 sed 's/\..*//'} | |
69 p=`{basename $j} | |
70 d=`{basename -d $j} | |
71 if(~ $p 0intro) | |
72 p=intro | |
73 if(~ $verbose yes) echo $d/$p | |
74 troff -manhtml $i | troff2html -t 'Plan 9 from User Space'>/tmp/… | |
75 { | |
76 sed '/<!-- TRAILER -->/q' /tmp/manweb.html | |
77 cat $PLAN9/dist/mantrailer.html | |
78 sed -n '/<!-- TRAILER -->/,$p' /tmp/manweb.html | |
79 } | $PLAN9/dist/addsrclinks >$d/$p.html | |
80 } | |
81 rm /tmp/manweb.html | |
82 cd $PLAN9/dist | |
83 ./fixurls $PLAN9/man/man*/*.html |