diff --git a/doc/help.html b/doc/help.html index b305a57763..3d32ae5dc0 100644 --- a/doc/help.html +++ b/doc/help.html @@ -8,7 +8,7 @@