Glenn Morris 3b71befdfb admin.el: respect environment settings for makeinfo etc ...

* admin/admin.el (manual-makeinfo, manual-texi2pdf, manual-texi2dvi):
New variables.
(manual-html-mono, manual-html-node, manual-pdf, manual-ps): Use them.

2018-08-28 16:34:25 -04:00

38 KiB

Raw Blame History

View Raw