X-Git-Url: http://git.vanrenterghem.biz/git.ikiwiki.info.git/blobdiff_plain/3ea6d8a319bdedaaf014500abc7826f767dada43..3a560b2719ec0ba22f9cc2adf0717d4efd56bb94:/doc/bugs/discussion_removal.mdwn

diff --git a/doc/bugs/discussion_removal.mdwn b/doc/bugs/discussion_removal.mdwn
index 9e08361a3..6da35f37b 100644
--- a/doc/bugs/discussion_removal.mdwn
+++ b/doc/bugs/discussion_removal.mdwn
@@ -13,21 +13,4 @@ Here's a patch that trawls through %destsources deleting pages when they
 are found to be deleted. It's a little inelegant, but it's simple and it 
 works. --Ethan
 
-<pre>
-diff -urX ignorepats ikiwiki/IkiWiki/Render.pm ikidev/IkiWiki/Render.pm
---- ikiwiki/IkiWiki/Render.pm	2007-07-25 15:58:24.501068000 -0700
-+++ ikidev/IkiWiki/Render.pm	2007-07-25 20:08:32.966449000 -0700
-@@ -320,6 +320,11 @@
- 			prune($config{destdir}."/".$_)
- 				foreach @{$oldrenderedfiles{$page}};
- 			delete $pagesources{$page};
-+			foreach (keys %destsources){
-+				if ($destsources{$_} == $page) {
-+					delete $destsources{$_};
-+				}
-+			}
- 		}
- 	}
- 
-</pre>
-
+Thankyou for the [[patch]]! [[Done]]. --[[Joey]]