diff options
| author | Glenn Morris <rgm@gnu.org> | 2018-07-02 22:37:22 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2018-07-02 22:37:22 -0700 |
| commit | 00fdce071cf2918277f99ff4ed10e5599cefb626 (patch) | |
| tree | afd7db83c4a62d9cccaff844a6a7b5f68b23dcd6 /src | |
| parent | 8c70142ea3a97a5a0241890ec907c76a05fe15ea (diff) | |
| download | emacs-00fdce071cf2918277f99ff4ed10e5599cefb626.tar.gz | |
* 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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions