Change core and dump images to proper names

Submitted by:	gpalmer@FreeBSD.ORG

handbook/kerneldebug.sgml

@@ -1,4 +1,4 @@
-<!-- $Id: kerneldebug.sgml,v 1.5 1995-10-22 00:42:10 jfieber Exp $ -->
+<!-- $Id: kerneldebug.sgml,v 1.6 1996-01-03 11:10:30 gclarkii Exp $ -->
 <!-- The FreeBSD Documentation Project -->
 
 <chapt><heading>Kernel Debugging<label id="kerneldebug"></heading>
@@ -64,8 +64,8 @@
   <tt>kgdb</tt>.  From <tt>kgdb</tt> do:
 <tscreen><verb>
   symbol-file kernel.debug
-  exec-file /var/crash/system.0
-  core-file /var/crash/ram.0
+  exec-file /var/crash/kernel.0
+  core-file /var/crash/vmcore.0
 </verb></tscreen>
   and voila, you can debug the crash dump using the kernel sources
   just like you can for any other program.