diff --git a/doc/man/index.html b/doc/man/index.html index bfc2ddcde..40d8f93da 100644 --- a/doc/man/index.html +++ b/doc/man/index.html @@ -19,7 +19,8 @@