diff options
| author | tschwinge <tschwinge@web> | 2008-10-20 04:58:04 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2008-10-20 04:58:04 -0400 |
| commit | 4a958e0c1e1d3f49c665c5d4aa89214ecbd61bdd (patch) | |
| tree | 642c2abcf10bff044ed073f80583e1f70137d714 /doc | |
| parent | 423fae6f18853bfaa08f647e7e4d10b7587738e0 (diff) | |
My thoughts.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/clear_page_to_delete.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/todo/clear_page_to_delete.mdwn b/doc/todo/clear_page_to_delete.mdwn index eddce79b4..ccb7634e5 100644 --- a/doc/todo/clear_page_to_delete.mdwn +++ b/doc/todo/clear_page_to_delete.mdwn @@ -18,3 +18,9 @@ offending change. --[[Joey]] I don't think we need a second way to delete pages, which would probably be used by the only few people who will learn it's possible by random documentation reading, find it useful, *and* remember it. -- [[intrigeri]] + +On the other hand, clearing the page's whole content essentially means deleting +the page. That's what the user intended to do in this case. The information +content of an empty vs. a deleted page is essentially the same, I'd say. But +having ikiwiki remove those stale pages would save some (minimal, admittedly) +time needed for manual clean-up. --[[tschwinge]] |