From cc55c5c306ca013f28fa43a77132c3a82c2a32bc Mon Sep 17 00:00:00 2001
From: Jean-Charles Malahieude <lilyfan@orange.fr>
Date: Wed, 5 Oct 2016 19:09:20 +0200
Subject: [PATCH] Web-fr: missing divEnd

---
 Documentation/fr/web.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Documentation/fr/web.texi b/Documentation/fr/web.texi
index 68c924ee7d..6f3c7565c1 100644
--- a/Documentation/fr/web.texi
+++ b/Documentation/fr/web.texi
@@ -1,6 +1,6 @@
 \input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: fr -*-
 @ignore
-    Translation of GIT committish: 0628cc44250b21d422b21890a7f266cd4b5ca584
+    Translation of GIT committish: 03d47798d39bd9ce2a87376ea1585f1f31c1b81b
 
     When revising a translation, copy the HEAD committish of the
     version that you are working on.  For details, see the Contributors'
@@ -197,6 +197,7 @@ Venez puiser l'inspiration dans notre galerie
 
 @divEnd
 
+@divEnd
 
 @ifclear web_version
   @c do nothing
-- 
2.39.2