diff options
author | Glenn Morris <rgm@gnu.org> | 2018-08-28 16:34:25 -0400 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2018-08-28 16:34:25 -0400 |
commit | 3b71befdfb2e073d025471133be87d4d4d853708 (patch) | |
tree | feeab3a07fecaead30f99f895f1102214a4d2430 /lisp/emacs-lisp/pcase.el | |
parent | 3764ab4186bb4479aee5241705f91c1edf4cccfb (diff) | |
download | emacs-3b71befdfb2e073d025471133be87d4d4d853708.tar.gz emacs-3b71befdfb2e073d025471133be87d4d4d853708.tar.bz2 emacs-3b71befdfb2e073d025471133be87d4d4d853708.zip |
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.
Diffstat (limited to 'lisp/emacs-lisp/pcase.el')
0 files changed, 0 insertions, 0 deletions