diff man/ses.texi @ 72607:408b3e9508a1

(usermanualdir): New variable. (elisp.dvi): Use it.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 02 Sep 2006 11:35:17 +0000
parents 11b616eddda4
children 3d45362f1d38 e6bf73e43cf4
line wrap: on
line diff