diff man/gnus.texi @ 34558:3acdbada9858

(mostlyclean): Remove gnustmp.* (gnus.dvi): Change rule to remove @latex stuff.
author Dave Love <fx@gnu.org>
date Thu, 14 Dec 2000 14:17:37 +0000
parents 44a6d536cea3
children 726bca563fbf
line wrap: on
line diff