* gnus.texi: Change .gnus to .gnus.el.
authorLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 11 Jan 2003 20:40:52 +0000 (20:40 +0000)
committerLars Magne Ingebrigtsen <larsi@gnus.org>
Sat, 11 Jan 2003 20:40:52 +0000 (20:40 +0000)
commitddc7ca43413fed2571f7022ec32c71d71afdd529
tree7485e1656649035d119895c2205568f3ed85dce4
parentdc5f28288604704f9312c03e50a46226e7053a78
* gnus.texi: Change .gnus to .gnus.el.
(Agent Commands): Remove batch here.

* message.texi (Canceling News): Document canlock.
texi/ChangeLog
texi/gnus.texi
texi/message.texi