From adc93f6097615f16d57e8a24a256302f2144ec4e Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 17:37:50 +0000 Subject: cut out the html - they're going to cause diffing problems. --- man/man1/core.html | 83 ------------------------------------------------------ 1 file changed, 83 deletions(-) delete mode 100644 man/man1/core.html (limited to 'man/man1/core.html') diff --git a/man/man1/core.html b/man/man1/core.html deleted file mode 100644 index 9c1cf3df..00000000 --- a/man/man1/core.html +++ /dev/null @@ -1,83 +0,0 @@ - -core(1) - Plan 9 from User Space - - - - -
-
-
CORE(1)CORE(1) -
-
-

NAME
- -
- - core – print information about dead processes
- -
-

SYNOPSIS
- -
- - core [ dir | corefile ]...
- -
-

DESCRIPTION
- -
- - Core prints information about dead processes that have been saved - as core dumps. -
- - Core reads its arguments in order. If a directory is encountered, - core reads every core file named core.* or *.core in that directory. - -
- - For each core file read, core prints the date and time the core - was generated, the command that generated it, and a short stack - trace at the time of the core dump. -
- - If no arguments are given, core searches the directory $COREDIR - for core files; if $COREDIR is not set, core searches the current - directory.
- -
-

SOURCE
- -
- - /usr/local/plan9/src/cmd/core.c
- -
-

SEE ALSO
- -
- - acid(1), db(1), core(5)
- -
-

BUGS
- -
- - Core has not been written.
- -
- -

 -
-
- - -
-
-
-Space Glenda -
-
- - -- cgit v1.2.3