diff options
| author | Glenn Morris | 2014-01-03 19:18:33 -0800 |
|---|---|---|
| committer | Glenn Morris | 2014-01-03 19:18:33 -0800 |
| commit | a71324ccb69f9e3af5b1c613a60111c8f3885ce0 (patch) | |
| tree | da3815a17cc7e0849a9089bdde045b20f649a26c /admin/ChangeLog | |
| parent | 86c6e8fadaa84ae1faac7d3e177e6ad37a629e98 (diff) | |
| download | emacs-a71324ccb69f9e3af5b1c613a60111c8f3885ce0.tar.gz emacs-a71324ccb69f9e3af5b1c613a60111c8f3885ce0.zip | |
* admin/admin.el (manual-html-fix-index-2): Fix minor Texinfo 4 issue
with start of detailed menu.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index d43c95d386b..690689012b0 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -2,6 +2,7 @@ | |||
| 2 | 2 | ||
| 3 | * admin.el (manual-html-fix-node-div): Handle Texinfo 5's movable <hr>. | 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. | 4 | (manual-html-fix-index-2): Tweak Texinfo 5 table format. |
| 5 | Fix minor Texinfo 4 issue with start of detailed menu. | ||
| 5 | 6 | ||
| 6 | 2014-01-03 Glenn Morris <rgm@gnu.org> | 7 | 2014-01-03 Glenn Morris <rgm@gnu.org> |
| 7 | 8 | ||