diff --git a/lang/fr/docs/files.php b/lang/fr/docs/files.php
index 903231a4127..a9f177e4d59 100644
--- a/lang/fr/docs/files.php
+++ b/lang/fr/docs/files.php
@@ -26,6 +26,6 @@ $string['-development'] = "D
 $string['developer.html'] = "Manuel du développeur";
 $string['coding.html'] = "Guide de programmation";
 $string['cvs.html'] = "Utilisation de CVS";
-
+$string['translation.html'] = "Traduction";
 
 ?>