From: Eshel Yaron <me@eshelyaron.com>
Date: Fri, 8 Sep 2023 17:54:17 +0000 (+0200)
Subject: ; * sweep.texi (Extract Goal): Fix typos
X-Git-Tag: V9.1.15-sweep-0.24.1~4
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=15c5e75c969da3a30bf770c0b23eb274c6cba62c;p=sweep.git

; * sweep.texi (Extract Goal): Fix typos
---

diff --git a/sweep.texi b/sweep.texi
index 28600a4..1f6c92a 100644
--- a/sweep.texi
+++ b/sweep.texi
@@ -2549,9 +2549,9 @@ result of being extracted from the current clause,
 asks you to confirm before continuing.
 
 By default, @code{sweeprolog-extract-region-to-predicate} is not bound
-directly to any key in Sweep Prolog mode; instead, you can it by
-typing @kbd{M-@key{RET}} (@code{sweeprolog-insert-term-dwim}) when the
-region is active.  @xref{Insert Term DWIM}).
+directly to any key in Sweep Prolog mode; instead, you can invoke it
+by typing @kbd{M-@key{RET}} (@code{sweeprolog-insert-term-dwim}) when
+the region is active.  @xref{Insert Term DWIM}.
 
 With Context Menu mode enabled, you can also invoke this command by
 right-clicking on an active region.