* admin.el (make-manuals): Add the option to only make certain output types.
authorGlenn Morris <rgm@gnu.org>
Sat, 6 Jul 2013 18:28:54 +0000 (11:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 6 Jul 2013 18:28:54 +0000 (11:28 -0700)
commitc7197e5231b5dd232340bd6ca6f76072333b136c
treeaa3e7a0c4f4a1ccee56382cf6213ff546d800dc9
parent1afb1d071576f7884a475c04955fc33126f70221
* admin.el (make-manuals): Add the option to only make certain output types.
(manual-misc-html): Special-case ccmode and efaq.
(manual-html-mono, manual-html-node, manual-pdf, manual-ps):
Move creation of output directory here from make-manuals.
(manual-html-fix-index-2): Avoid dynamic reference to `f'.
admin/ChangeLog
admin/admin.el