X-Git-Url: https://sipb.mit.edu/gitweb.cgi/ikiwiki.git/blobdiff_plain/3b316c6f93e04350e89e0cf73d923ba82f0190b3..72c95e8434cf4f2c96d2320eec13cbc01580cb52:/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]]