From 13689122b4f94ff7775bd08e92ea15dd872bffcd Mon Sep 17 00:00:00 2001
From: Bastian Kleineidam <calvin@debian.org>
Date: Sun, 1 May 2011 08:46:21 +0200
Subject: [PATCH] Remove note about restart linkchecker after editing
 configuration files.

---
 doc/html/options.html | 4 +---
 doc/html/options.txt  | 2 --
 2 files changed, 1 insertion(+), 5 deletions(-)

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.