Re: Removing nndoc groups?

["François Pinard" <pinard@iro.umontreal.ca>]

dsg@mitre.org (David S. Goldberg) écrit:

> >> François Pinard <pinard@iro.umontreal.ca> writes:
> >>> For one, I usually kill the group.  And later, edit it out of
> >>> .newsrc.eld.

> > What is the recommended way, then?

> I have gnus-save-killed-list set to nil.

Hey, hey!  Thanks a lot.  I was not aware of that variable, and the save
killed list has often been a source of trouble for me, at least when I
experiment with backends, as those have a shocking tendency to bug me
forever afterwards :-).

> I see in the info a recommendation to not delete .newsrc.eld and to
> not mess with the topic topology variable.

Yet, despite the recommendation, one might have to do it.  I got some
Mule difficulties around there.  By the way, does someone else try to use
accented characters in topics?  Sounds a pretty natural thing to do for me!

-- 
François Pinard   http://www.iro.umontreal.ca/~pinard