eric: diff Documentation/Source/eric5.eric5-configure.html

diff -r edde1fe80b3e -r 3b1f5d872fd7 Documentation/Source/eric5.eric5-configure.html
--- a/Documentation/Source/eric5.eric5-configure.html	Sat Jan 02 18:19:35 2010 +0000
+++ b/Documentation/Source/eric5.eric5-configure.html	Sat Jan 02 18:52:53 2010 +0000
@@ -10,7 +10,7 @@
 <body><a NAME="top" ID="top"></a>
 <h1>eric5.eric5-configure</h1>
 <p>
-&#69;&#114;&#105;&#99;&#52; &#67;&#111;&#110;&#102;&#105;&#103;&#117;&#114;&#101;
+&#69;&#114;&#105;&#99;&#53; &#67;&#111;&#110;&#102;&#105;&#103;&#117;&#114;&#101;
 </p><p>
 &#84;&#104;&#105;&#115; &#105;&#115; &#116;&#104;&#101; &#109;&#97;&#105;&#110; &#80;y&#116;&#104;&#111;&#110; &#115;&#99;&#114;&#105;&#112;&#116; &#116;&#111; &#99;&#111;&#110;&#102;&#105;&#103;&#117;&#114;&#101; &#116;&#104;&#101; &#101;&#114;&#105;&#99;&#53; &#73;&#68;&#69; &#102;&#114;&#111;&#109; &#116;&#104;&#101; &#111;&#117;&#116;&#115;&#105;&#100;&#101;.
 </p>