diff --git a/doc/man/index.html b/doc/man/index.html index db90e0043..11291e73e 100644 --- a/doc/man/index.html +++ b/doc/man/index.html @@ -85,10 +85,6 @@