From e256d8aa0da5b23a5008b883a13b257be959fabe Mon Sep 17 00:00:00 2001 From: Michael Kerrisk Date: Tue, 1 Jan 2008 07:55:02 +0000 Subject: [PATCH] ffix --- man5/core.5 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/man5/core.5 b/man5/core.5 index b6cc637ef..09a4ca05a 100644 --- a/man5/core.5 +++ b/man5/core.5 @@ -38,7 +38,7 @@ for details. There are various circumstances in which a core dump file is not produced: -.IP * +.IP * 3 The process does not have permission to write the core file. (By default the core file is called .IR core , @@ -50,7 +50,7 @@ or if a file with the same name exists and is not writable or is not a regular file (e.g., it is a directory or a symbolic link). -.IP * 3 +.IP * A (writable, regular) file with the same name as would be used for the core dump already exists, but there is more than one hard link to that file.