diff --git a/doc/running.html b/doc/running.html index 7870a5d9..97c5c039 100644 --- a/doc/running.html +++ b/doc/running.html @@ -250,6 +250,8 @@ are enabled: