diff options
| author | Glenn Morris | 2014-01-03 18:31:56 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-03 18:31:56 -0800 |
| commit | d16ec91efb551c2a3181d2ae494f8af28d7f254b (patch) | |
| tree | 61227490ccf7962cad0f2e04707e5507126133ec /admin/ChangeLog | |
| parent | 22db5dd5ed7c5d18e8247e91093195ca7af38361 (diff) | |
| download | emacs-d16ec91efb551c2a3181d2ae494f8af28d7f254b.tar.gz emacs-d16ec91efb551c2a3181d2ae494f8af28d7f254b.zip | |
Yet more Texinfo 5 tweaks for admin.el's make-manuals
* admin.el (manual-html-fix-node-div): Handle Texinfo 5's movable <hr>.
(manual-html-fix-index-2): Tweak Texinfo 5 table format.
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 7695391bada..d43c95d386b 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2014-01-04 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el (manual-html-fix-node-div): Handle Texinfo 5's movable <hr>. | ||
| 4 | (manual-html-fix-index-2): Tweak Texinfo 5 table format. | ||
| 5 | |||
| 1 | 2014-01-03 Glenn Morris <rgm@gnu.org> | 6 | 2014-01-03 Glenn Morris <rgm@gnu.org> |
| 2 | 7 | ||
| 3 | * admin.el: More Texinfo 5 updates. | 8 | * admin.el: More Texinfo 5 updates. |