diff --git a/doc/man/index.html b/doc/man/index.html index e9bcb614ff..47c8fdbfb9 100644 --- a/doc/man/index.html +++ b/doc/man/index.html @@ -14,11 +14,13 @@