diff options
| author | Glenn Morris | 2013-07-06 11:28:54 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-06 11:28:54 -0700 |
| commit | c7197e5231b5dd232340bd6ca6f76072333b136c (patch) | |
| tree | aa3e7a0c4f4a1ccee56382cf6213ff546d800dc9 /admin/ChangeLog | |
| parent | 1afb1d071576f7884a475c04955fc33126f70221 (diff) | |
| download | emacs-c7197e5231b5dd232340bd6ca6f76072333b136c.tar.gz emacs-c7197e5231b5dd232340bd6ca6f76072333b136c.zip | |
* 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'.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index b9c86da98cb..592a41968db 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -2,6 +2,11 @@ | |||
| 2 | 2 | ||
| 3 | * admin.el (manual-misc-manuals): New function. | 3 | * admin.el (manual-misc-manuals): New function. |
| 4 | (make-manuals): Avoid hard-coding list of misc manuals. | 4 | (make-manuals): Avoid hard-coding list of misc manuals. |
| 5 | Add the option to only make certain type(s) of output. | ||
| 6 | (manual-misc-html): Special-case ccmode and efaq. | ||
| 7 | (manual-html-mono, manual-html-node, manual-pdf, manual-ps): | ||
| 8 | Move creation of output directory here from make-manuals. | ||
| 9 | (manual-html-fix-index-2): Avoid dynamic reference to `f'. | ||
| 5 | 10 | ||
| 6 | 2013-07-05 Glenn Morris <rgm@gnu.org> | 11 | 2013-07-05 Glenn Morris <rgm@gnu.org> |
| 7 | 12 | ||