diff --git a/doc/man/index.html b/doc/man/index.html index 78f389b69..f8a2cd327 100644 --- a/doc/man/index.html +++ b/doc/man/index.html @@ -27,6 +27,7 @@