Glenn Morris b9a54f5e1d * admin.el (manual-pdf, manual-ps): Work in the directory with the texi file, ...

so that TeX intermediate files go there rather than to PWD.

2013-06-28 19:54:37 -07:00

55 KiB

Raw Blame History

View Raw