Typofix in Guidebook.tex

diff --git a/doc/Guidebook.tex b/doc/Guidebook.tex
index f18c6e36489e7dcc48f35302fdc72575c4aee6ac..105ea0bab156b7f6d843f62ca55a47772a65304b 100644 (file)
--- a/doc/Guidebook.tex
+++ b/doc/Guidebook.tex
@@ -2686,7 +2686,7 @@ can be created with any text editor.
 
 %.pg
 Any line in the configuration file starting with `{\tt \#}' is treated as a comment.
-Empty lines are ignore.
+Empty lines are ignored.
 
 %.pg
 You can use different configuration statements in the file, some