Module Name:	htdocs
Committed By:	bad
Date:		Sun Jul 11 19:37:56 UTC 1999

Modified Files:
	htdocs/Documentation/kernel: index.html index.list

Log Message:
No need to "call cpu_reboot"; DDB has a "reboot" command.


To generate a diff of this commit:
cvs rdiff -r1.31 -r1.32 htdocs/Documentation/kernel/index.html
cvs rdiff -r1.5 -r1.6 htdocs/Documentation/kernel/index.list

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.