diff --git a/lib.inc.php3 b/lib.inc.php3 index be9e49ac5..9b29def73 100755 --- a/lib.inc.php3 +++ b/lib.inc.php3 @@ -739,7 +739,7 @@ function show_docu($link) { global $cfgManualBase, $strDocu; if(!empty($cfgManualBase)) - return("[$strDocu]"); + return("[$strDocu]"); } function show_message($message) {