Web-fr: missing divEnd

diff --git a/Documentation/fr/web.texi b/Documentation/fr/web.texi
index 68c924ee7d946dc6b5df2e3edfadf8a68bfe44aa..6f3c7565c1bf74a39027517bff60cd27357ddd8c 100644 (file)
--- 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