From 288a4ff33c2d604f2885855986e0cdcb47adbbf3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 13 Aug 2015 15:13:44 +0200
Subject: [PATCH] * src/bin/man/ltl2tgba.x: Remove superfluous directory.

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

diff --git a/src/bin/man/ltl2tgba.x b/src/bin/man/ltl2tgba.x
index f8fab80e4..9d671d07b 100644
--- a/src/bin/man/ltl2tgba.x
+++ b/src/bin/man/ltl2tgba.x
@@ -135,7 +135,7 @@ strings.  Spot will always output atomic-proposition that do not match
 .in +4n
 .ft C
 .nf
-% bin/ltl2tgba --lbtt 'GFa & GFb'
+% ltl2tgba --lbtt 'GFa & GFb'
 1 2t
 0 1
 0 0 1 -1 & "a" "b"