diff man/mini.texi @ 33113:74323fb60963

use default-directory when tex-main-file has no directory
author Sam Steingold <sds@gnu.org>
date Tue, 31 Oct 2000 21:31:55 +0000
parents e05819f22426
children 7476be16909f
line wrap: on
line diff