| commit | 00fdce071cf2918277f99ff4ed10e5599cefb626 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Tue, 3 Jul 2018 05:37:22 +0000 (2 22:37 -0700) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Tue, 3 Jul 2018 05:37:22 +0000 (2 22:37 -0700) | ||
| tree | afd7db83c4a62d9cccaff844a6a7b5f68b23dcd6 | treesnapshot (tar.gz zip) |
| parent | 8c70142ea3a97a5a0241890ec907c76a05fe15ea | commitdiff |
* doc/emacs/docstyle.texi: Avoid messing up the html output.
Previously the @hyphenation commands somehow caused the <head>
section to go missing, with makeinfo 4.13 at least.
Previously the @hyphenation commands somehow caused the <head>
section to go missing, with makeinfo 4.13 at least.
| doc/emacs/docstyle.texi | diffblobblamehistory |