From f24dad0044cd108c537477373a20027ee660de4c Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Fri, 28 May 2021 21:03:52 -0700
Subject: doc: fix bad deindent under copy-path-rec.

* txr.1: Add missing .IP after .RE to return the indentation.
---
 txr.1 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/txr.1 b/txr.1
index dffd9b4b..35ff288e 100644
--- a/txr.1
+++ b/txr.1
@@ -65335,6 +65335,7 @@ of non-directory object.
 If any object is copied to an existing non-directory object,
 that target object is removed first, then the copy operation proceeds.
 .RE
+.IP
 Copying of files takes place similarly as what is described for the
 .code copy-file
 function.
-- 
cgit v1.2.3