config.8 update

[Francis GUDIN <fgudin@xxxxxxxxx>]

Hello,

Here's an attempt at making config(8) up to date regarding debugging
kernels.
This is my very first try at using mdoc: comments are appreciated !  

Regards,
Francis.

--- /repo/src/usr.sbin/config/config.8	2006-02-24 00:37:48.000000000 +0100
+++ config.8	2006-02-26 20:58:55.000000000 +0100
@@ -187,49 +187,26 @@
 provides very little support for normal kernels, and a debug kernel is needed
 for any meaningful analysis.
 .Pp
-For reasons of history, time and space, building a debug kernel is not the
-default with
-.Dx :
-a debug kernel takes up to 30% longer to build and
-requires about 30 MB of disk storage in the build directory, compared to about 6
-MB for a non-debug kernel.
-A debug kernel is about 11 MB in size, compared to
-about 2 MB for a non-debug kernel.
-This space is used both in the root file
-system and at run time in memory.
-Use the
-.Fl g
-option to build a debug kernel.
-With this option,
-.Nm
-causes two kernel files to be built in the kernel build directory:
-.Bl -bullet
-.It
-.Pa kernel.debug
-is the complete debug kernel.
-.It
-.Pa kernel
-is a copy of the kernel with the debug symbols stripped off.
-This is equivalent
-to the normal non-debug kernel.
+In order to ease posting bug reports for inexperienced users and
+make the debugging environment more uniform,
+.Dx
+installs kernel and modules unstripped.
+Debug information is not loaded into memory, so the only impact is
+a minor growth in root file-system consumption by 10MB.
+Those wishing to install stripped down kernel and modules can specify two new
+makeoptions in their kernel config file or when they run the
+kernel-related targets to make:
+.Bl -tag -width ".Ar INSTALLSTRIPPEDMODULES=1"
+.It INSTALLSTRIPPED=1
+The installed kernel and modules will be stripped of debug info.
+.It INSTALLSTRIPPEDMODULES=1
+The installed modules will be stripped of debug info. The kernel will
+be left with debug info intact.
 .El
 .Pp
-There is currently little sense in installing and booting from a debug kernel,
-since the only tools available which use the symbols do not run on-line.
-There
-are therefore two options for installing a debug kernel:
-.Bl -bullet
-.It
-.Dq Li "make install"
-installs
-.Pa kernel
-in the root file system.
-.It
-.Dq Li "make install.debug"
-installs
-.Pa kernel.debug
-in the root file system.
-.El
+Backup copies of the kernel and modules are automatically stripped of
+their debug information by
+.Xr objcopy 1 .
 .Sh FILES
 .Bl -tag -width ".Pa /sys/ Ns Va ARCH Ns Pa /conf/files. Ns Ar SYSTEM_NAME" -compact
 .It Pa /sys/conf/files