diff --git a/doc/upgrading.html b/doc/upgrading.html
index 4cc016e7..1e9649c6 100644
--- a/doc/upgrading.html
+++ b/doc/upgrading.html
@@ -34,6 +34,9 @@ window.onload = function() {
 <h1 class="title">Upgrading</h1>
 <h2 class="subtitle" id="migrating-from-1-12-x-to-1-13-0">Migrating from 1.12.x to 1.13.0</h2>
 <div class="document" id="upgrading">
+<p>Since lots of filenames have changed you should check that any
+manually installed versions prior to 1.13.0 are removed. Otherwise
+you will have startup problems.</p>
 <p>The default output logger <tt class="literal"><span class="pre">text</span></tt> has now colored output if the
 output terminal supports it.</p>
 <p>The <tt class="literal"><span class="pre">-F</span></tt> option no longer suppresses normal output. The old behaviour
@@ -51,7 +54,7 @@ you can append a <tt class="literal"><span class="pre">||</span> <span class="pr
 </div>
 <hr class="footer" />
 <div class="footer">
-Generated on: 2004-08-28 16:56 UTC.
+Generated on: 2004-09-02 10:43 UTC.
 </div>
 </body>
 </html>
diff --git a/doc/upgrading.txt b/doc/upgrading.txt
index 13557cbe..be0b1d4b 100644
--- a/doc/upgrading.txt
+++ b/doc/upgrading.txt
@@ -8,6 +8,10 @@ Upgrading
 Migrating from 1.12.x to 1.13.0
 -------------------------------
 
+Since lots of filenames have changed you should check that any
+manually installed versions prior to 1.13.0 are removed. Otherwise
+you will have startup problems.
+
 The default output logger ``text`` has now colored output if the
 output terminal supports it.