From 9d7c1d5f7d4c0490a512e482c3348bed2967d17f Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 29 Jun 2011 17:38:26 -0400 Subject: [PATCH] Fix ikiwiki-update-wikilist -r to actually work. --- debian/changelog | 1 + ikiwiki-update-wikilist | 3 +++ 2 files changed, 4 insertions(+) diff --git a/debian/changelog b/debian/changelog index ddd0f7a28..8f659cb31 100644 --- 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 Thu, 09 Jun 2011 10:06:44 -0400 diff --git a/ikiwiki-update-wikilist b/ikiwiki-update-wikilist index a6425f011..1976f7ed1 100755 --- a/ikiwiki-update-wikilist +++ b/ikiwiki-update-wikilist @@ -30,6 +30,9 @@ while (<$list>) { $seen=1; push @lines, $_; } + else { + $changed=1; + } } else { push @lines, $_; -- 2.45.0