Fix ikiwiki-update-wikilist -r to actually work.

diff --git a/debian/changelog b/debian/changelog
index ddd0f7a28bf36ed5a301cd93c33bd6449f440ef2..8f659cb31719bb1f1f05d82d0334aaf395ff19e3 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -22,6 +22,7 @@ ikiwiki (3.20110609) UNRELEASED; urgency=low
   * Preserve mixed case in page creation links, and when creating a page
     whose title is mixed case, allow selecting between the mixed case and
     all lower-case names.
+  * Fix ikiwiki-update-wikilist -r to actually work.
 
  -- Joey Hess <joeyh@debian.org>  Thu, 09 Jun 2011 10:06:44 -0400
 

diff --git a/ikiwiki-update-wikilist b/ikiwiki-update-wikilist
index a6425f011c6a7e04c281cdfe8f70094d302818e5..1976f7ed1e3c3a65bc517abbb34aaafac103c147 100755 (executable)
--- a/ikiwiki-update-wikilist
+++ b/ikiwiki-update-wikilist
@@ -30,6 +30,9 @@ while (<$list>) {
                                $seen=1;
                                push @lines, $_;
                        }
+                       else {
+                               $changed=1;
+                       }
                }
                else {
                        push @lines, $_;