From 6979e8cb6e62f04688611aed796712fde1a981d6 Mon Sep 17 00:00:00 2001
From: Warner Losh <imp@FreeBSD.org>
Date: Thu, 24 Feb 2022 13:53:17 -0700
Subject: [PATCH] dtc: more mandoc -T lint fixes

Obtained from:		dtc repo 04c805a8b08e4a1d4ff1f1e62ef475fbfe1a5fbe
Sponsored by:		Netflix
---
 usr.bin/dtc/dtc.1 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/usr.bin/dtc/dtc.1 b/usr.bin/dtc/dtc.1
index 259a49e10fbf..63a59dec51bb 100644
--- a/usr.bin/dtc/dtc.1
+++ b/usr.bin/dtc/dtc.1
@@ -258,9 +258,9 @@ with the
 flag.
 .Pp
 To denote that a DTS is intended to be used as an overlay,
-.Va /plugin/;
+.Va /plugin/ ;
 should be included in the header, following any applicable
-.Va /dts-v1/;
+.Va /dts-v1/ ;
 tag.
 .Pp
 Conventional overlays are crafted by creating
@@ -361,7 +361,7 @@ tree source
 .Pa device_overlay.dts .
 A __symbols__ node will be included so that overlays may be applied to it.
 The presence of a
-.Va /plugin/;
+.Va /plugin/ ;
 directive in
 .Pa device_overlay.dts
 will indicate to the utility that it should also generate the underlying