From 7b00ed70112f2f16a0ca45bbb8687dd090e8fb0b Mon Sep 17 00:00:00 2001
From: Josh Pelkey <jpelkey@gatech.edu>
Date: Mon, 8 Mar 2010 22:36:54 -0500
Subject: [PATCH] minor manual typo fix

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

diff --git a/doc/manual/distributed.texi b/doc/manual/distributed.texi
index 77ca10ccf..8cbe3539f 100644
--- a/doc/manual/distributed.texi
+++ b/doc/manual/distributed.texi
@@ -146,7 +146,7 @@ localhost
 localhost
 localhost
 ...
-@endverbatim
+@end verbatim
 
 Or if you have a cluster of machines, you can name them.