diff --git a/doc/html/options.html b/doc/html/options.html
index b3ccd75a..61bf13bb 100644
--- a/doc/html/options.html
+++ b/doc/html/options.html
@@ -45,9 +45,7 @@ It can be displayed with Help->Show Debug</p>
 
 <h2>Configuration files</h2>
 
-<p>The configuration files can be edited with an integrated text editor.
-Note that changes to the configuration files require a restart of
-the GUI to take effect.</p>
+<p>The configuration files can be edited with an integrated text editor.</p>
 <hr/>
     <div class="footer">
       &copy; Copyright 2011, Bastian Kleineidam.
diff --git a/doc/html/options.txt b/doc/html/options.txt
index 5774965b..53ffa692 100644
--- a/doc/html/options.txt
+++ b/doc/html/options.txt
@@ -17,5 +17,3 @@ It can be displayed with Help->Show Debug
 
 ## Configuration files
 The configuration files can be edited with an integrated text editor.
-Note that changes to the configuration files require a restart of
-the GUI to take effect.