Emergency fix of croaked translations

diff --git a/Documentation/fr/texidocs/alternative-breve-note.texidoc b/Documentation/fr/texidocs/alternative-breve-note.texidoc
new file mode 100644 (file)
index 0000000..7e7a4d2
--- /dev/null
+++ b/Documentation/fr/texidocs/alternative-breve-note.texidoc
@@ -0,0 +1,6 @@
+%% Translation of GIT committish: 9c74179ab62d3a785e890df9c90656ee8fb90fef
+  texidocfr = "Voici comment obtenir une brève -- aussi appelée note carée --
+flanquée de deux barres verticales, au lieu d'une comme habituellement."
+
+  doctitlefr = "Brève alternative, avec deux barres verticales"
+

diff --git a/Documentation/fr/texidocs/alternative-breve-note.texidocs b/Documentation/fr/texidocs/alternative-breve-note.texidocs
deleted file mode 100644 (file)
index 7e7a4d2..0000000
--- a/Documentation/fr/texidocs/alternative-breve-note.texidocs
+++ /dev/null
@@ -1,6 +0,0 @@
-%% Translation of GIT committish: 9c74179ab62d3a785e890df9c90656ee8fb90fef
-  texidocfr = "Voici comment obtenir une brève -- aussi appelée note carée --
-flanquée de deux barres verticales, au lieu d'une comme habituellement."
-
-  doctitlefr = "Brève alternative, avec deux barres verticales"
-