From ba1298d5e2072ae9a5be84a3d0bc8a2e00722be5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 2 Dec 2009 22:46:34 +0000
Subject: Fix menu path to Sticky Errors option.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 0442d084..7ab184d2 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1803,7 +1803,7 @@ If you have no colouring on the locked region, it can be hard to see
 where processing has got to.  Or if it has stopped on a region with
 an error.  You can select
 @lisp
-Proof General -> Quick Options -> Proof Sticky Errors
+Proof General -> Quick Options -> Display -> Sticky Errors
 @end lisp
 to add a higlight for regions which did not successfully process
 on the last attempt.  If the region is edited in anyway, the
-- 
cgit v1.2.3