doc: fix bad deindent under copy-path-rec.

* txr.1: Add missing .IP after .RE to return the indentation.

1 files changed, 1 insertions, 0 deletions

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.