diff man/gnus.texi @ 84114:0a7dcb607dd7

(infodir): Go up one more level. (usermanualdir): Change from ../man to ../emacs. (miscmanualdir): New. (dist): Use new variable miscmanualdir.
author Glenn Morris <rgm@gnu.org>
date Thu, 06 Sep 2007 04:25:46 +0000
parents 962fb740e73f
children aaccdab0ee26
line wrap: on
line diff