From 75fec711f4e1caa42f28918714ae818350ae1fc2 Mon Sep 17 00:00:00 2001
From: jmc <jmc@openbsd.org>
Date: Mon, 13 Sep 2021 17:42:47 +0000
Subject: [PATCH] various formatting fixes;

---
 libexec/reorder_kernel/bsd.re-config.5 | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

diff --git a/libexec/reorder_kernel/bsd.re-config.5 b/libexec/reorder_kernel/bsd.re-config.5
index 58b42e63976..bb5b37a9677 100644
--- a/libexec/reorder_kernel/bsd.re-config.5
+++ b/libexec/reorder_kernel/bsd.re-config.5
@@ -1,4 +1,4 @@
-.\"	$OpenBSD: bsd.re-config.5,v 1.1 2021/09/13 11:49:21 robert Exp $
+.\"	$OpenBSD: bsd.re-config.5,v 1.2 2021/09/13 17:42:47 jmc Exp $
 .\"
 .\" Copyright (c) 2021 Paul de Weerd <weerd@weirdnet.nl>
 .\"
@@ -15,7 +15,7 @@
 .\" OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 .\"
 .Dd $Mdocdate: September 13 2021 $
-.Dt KERNEL.CONF 5
+.Dt BSD.RE-CONFIG 5
 .Os
 .Sh NAME
 .Nm bsd.re-config
@@ -27,6 +27,11 @@ file contains configuration information for the kernel.
 If present, it is used during system startup to configure the kernel
 that will be running at the next boot.
 It can be used to enable or disable specific devices in the kernel.
+.Sh FILES
+.Bl -tag -width /etc/bsd.re-config -compact
+.It Pa /etc/bsd.re-config
+Kernel configuration file.
+.El
 .Sh EXAMPLES
 To enable the
 .Xr ipmi 4
@@ -35,12 +40,8 @@ driver, add the following line to
 .Pp
 .Dl enable ipmi
 .Pp
-See 
+See
 .Xr config 8
 for more details on how to configure the kernel.
-.Sh FILES
-.Bl -tag -width /etc/bsd.re-config -compact
-.It Pa /etc/bsd.re-config
-Kernel configuration file.
 .Sh SEE ALSO
 .Xr config 8
-- 
2.20.1