diff options
| author | Glenn Morris | 2014-01-02 19:24:27 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-02 19:24:27 -0800 |
| commit | 517f20c53356753d00f6df952318ef11d8bf7adc (patch) | |
| tree | 79dff6ec80b911a490429b2723e9b6dae268a1d7 /admin/ChangeLog | |
| parent | de229ee3d4597519397f259bab4312edc100dbd1 (diff) | |
| download | emacs-517f20c53356753d00f6df952318ef11d8bf7adc.tar.gz emacs-517f20c53356753d00f6df952318ef11d8bf7adc.zip | |
More Texinfo 5 updates for make-manuals (not yet finished)
* admin/admin.el (manual-html-fix-headers): Tweak Texinfo 5 body.
(manual-html-fix-node-div): Treat "header" like "node".
(manual-html-fix-index-1): Handle Texinfo 5 top heading.
(manual-html-fix-index-2): Tweak Texinfo 5 listing tables.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 9f160e9604f..7695391bada 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,11 @@ | |||
| 1 | 2014-01-03 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el: More Texinfo 5 updates. | ||
| 4 | (manual-html-fix-headers): Tweak Texinfo 5 body. | ||
| 5 | (manual-html-fix-node-div): Treat "header" like "node". | ||
| 6 | (manual-html-fix-index-1): Handle Texinfo 5 top heading. | ||
| 7 | (manual-html-fix-index-2): Tweak Texinfo 5 listing tables. | ||
| 8 | |||
| 1 | 2014-01-02 Xue Fuqiao <xfq.free@gmail.com> | 9 | 2014-01-02 Xue Fuqiao <xfq.free@gmail.com> |
| 2 | 10 | ||
| 3 | * check-doc-strings: Replace `perl -w' with `use warnings;'. | 11 | * check-doc-strings: Replace `perl -w' with `use warnings;'. |