]> git.eshelyaron.com Git - emacs.git/commit
admin.el: respect environment settings for makeinfo etc
authorGlenn Morris <rgm@gnu.org>
Tue, 28 Aug 2018 20:34:25 +0000 (16:34 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 28 Aug 2018 20:34:25 +0000 (16:34 -0400)
commit3b71befdfb2e073d025471133be87d4d4d853708
treefeeab3a07fecaead30f99f895f1102214a4d2430
parent3764ab4186bb4479aee5241705f91c1edf4cccfb
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.
admin/admin.el