diff --git a/doc/index.php b/doc/index.php index ee91b59005..32192abbf9 100644 --- a/doc/index.php +++ b/doc/index.php @@ -169,18 +169,19 @@ function show_other() { - ";
-