From aede62d123380e3da33c889eaa5cf4d8aeb6104e Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 22 Oct 2012 20:29:14 +0200
Subject: [PATCH] * src/bin/man/genltl.x: Missing dot.

---
 src/bin/man/genltl.x | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/man/genltl.x b/src/bin/man/genltl.x
index 53a90be52..41f232bbe 100644
--- a/src/bin/man/genltl.x
+++ b/src/bin/man/genltl.x
@@ -15,7 +15,7 @@ Automata for Certain Classes of LTL Formulas.  Proceedings of DepCoS'09.
 .TP
 go
 P. Gastin and D. Oddoux: Fast LTL to Büchi Automata Translation.
-Proceedings of CAV'01.  LNCS 2102
+Proceedings of CAV'01.  LNCS 2102.
 .TP
 rv
 K. Rozier and M. Vardi: LTL Satisfiability Checking.