From e0c37c3e8019c59ff4c9245c0761c76752b59270 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 4 Dec 2001 16:17:03 +0000
Subject: update from make process;

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

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 85531fb3..6a6c8b32 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -1276,7 +1276,7 @@ See also @samp{@code{proof-shell-init-cmd}}.
 @c TEXI DOCSTRING MAGIC: proof-shell-init-cmd
 @defvar proof-shell-init-cmd 
 The command for initially configuring the proof process.@*
-This command is sent to the process as soon as syncrhonization is gained
+This command is sent to the process as soon as synchronization is gained
 (when an annotated prompt is first recognized).  It can be used to configure 
 the proof assistant in some way, or print a welcome message
 (since output before the first prompt is discarded).
-- 
cgit v1.2.3