Removing articles from the history file

[Russ Allbery]

Lars Magne Ingebrigtsen <larsi at gnus.org> writes:

> I was looking through the source files in the expire directory just now,
> and I happened upon something called "prunehistory".  It claims to be
> able to edit the history file in-place by filling in spaces in the
> file...  Is that program outdated, or does it do something else than I
> think it does?  :-)

Hm.  That may actually work.  I'm not sure.  I've never used it, and I'm
not sure if makedbz copes with that correctly.

-- 
Russ Allbery (rra at stanford.edu)             <http://www.eyrie.org/~eagle/>

    Please send questions to the list rather than mailing me directly.
     <http://www.eyrie.org/~eagle/faqs/questions.html> explains why.