My thoughts.
parent
423fae6f18
commit
4a958e0c1e
|
@ -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]]
|
||||
|
|
Loading…
Reference in New Issue