From f24dad0044cd108c537477373a20027ee660de4c Mon Sep 17 00:00:00 2001 From: Kaz Kylheku 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