--- /n/sources/plan9/sys/man/mkfile Sun Dec 2 23:42:28 2007
+++ /sys/man/mkfile Fri Dec 28 00:00:00 2012
@@ -5,7 +5,7 @@
default:V: check
indices:V:
- for (i in [0-8]){
+ for (i in [0-9]){
$LIB/secindex $i > $i/INDEX
$LIB/mkhtmlindex $i > $i/INDEX.html
}
@@ -18,7 +18,7 @@
echo .am TH
echo .tm '\\$1' '\\$2' '\\n%'
echo ..
- for (i in [0-8]){
+ for (i in [0-9]){
builtin cd $i
for(j in [a-z0-9]*)
switch($i/$j){
@@ -41,18 +41,18 @@
mk out > /dev/null >[2] /dev/null
old-check:V: checksource
- awk -f $LIB/checkman.awk [0-8]/* | sed '/\/(cda|av|midi|pub|weather|service\.9net|isdn)(\/|\))/d'
+ awk -f $LIB/checkman.awk [0-9]/* | sed '/\/(cda|av|midi|pub|weather|service\.9net|isdn)(\/|\))/d'
punccheck:
grep -n '^\.[IB][^PRIB].+[.;,:]$' [0-9]/* | grep -v '\.\.\.'
check:V: indices checksource
- awk -f $LIB/checkman.awk [0-8]/*
+ awk -f $LIB/checkman.awk [0-9]/*
checksource:QV:
sam -d >[2]/dev/null <<'!'
f input
- < cat [0-8]/[0-9a-z]*
+ < cat [0-9]/[0-9a-z]*
B output
b input
,x/^\.SH SOURCE/ .,/^\.SH/ x g/^\.B/t "output
@@ -80,7 +80,7 @@
{echo -n $FONTS; cat $LIB/preface} | troff -ms
{echo -n $FONTS; echo ' '} | troff
{
- for (i in [0-8]){
+ for (i in [0-9]){
builtin cd $i
for(j in [a-z0-9]*)
switch($i/$j){
--- /n/sources/plan9/sys/man/index.html Sun Dec 2 23:42:28 2007
+++ /sys/man/index.html Fri Dec 28 00:00:00 2012
@@ -26,6 +26,7 @@
<TR><TD>6<TD><A href="/sys/man/6/INDEX.html">File formats, misc</a>
<TR><TD>7<TD><A href="/sys/man/7/INDEX.html">Databases</a>
<TR><TD>8<TD><A href="/sys/man/8/INDEX.html">System administration</a>
+<TR><TD>9<TD><A href="/sys/man/9/INDEX.html">Kernel functions</a>
</TABLE>
<H2>Keyword search</H2>
@@ -53,6 +54,7 @@
<OPTION VALUE=6>6,File formats, misc
<OPTION VALUE=7>7,Databases
<OPTION VALUE=8>8,System administration
+<OPTION VALUE=9>9,Kernel functions
</SELECT>
<INPUT TYPE="submit" VALUE="Submit">
<INPUT TYPE="reset" VALUE="Reset">
--- /n/sources/plan9/sys/lib/man/mkhtmlindex Mon Dec 22 21:46:33 2003
+++ /sys/lib/man/mkhtmlindex Fri Dec 28 00:00:00 2012
@@ -23,6 +23,8 @@
echo -n Databases
case 8
echo -n System Administration
+case 9
+ echo -n Kernel Functions
}
echo '</H2>'
echo '<HR>'
|
