--- /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>'