diff options
| author | Glenn Morris | 2018-07-02 22:37:22 -0700 |
|---|---|---|
| committer | Glenn Morris | 2018-07-02 22:37:22 -0700 |
| commit | 00fdce071cf2918277f99ff4ed10e5599cefb626 (patch) | |
| tree | afd7db83c4a62d9cccaff844a6a7b5f68b23dcd6 | |
| parent | 8c70142ea3a97a5a0241890ec907c76a05fe15ea (diff) | |
| download | emacs-00fdce071cf2918277f99ff4ed10e5599cefb626.tar.gz emacs-00fdce071cf2918277f99ff4ed10e5599cefb626.zip | |
* 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.
| -rw-r--r-- | doc/emacs/docstyle.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/emacs/docstyle.texi b/doc/emacs/docstyle.texi index f682e3d82be..5bdcd079d91 100644 --- a/doc/emacs/docstyle.texi +++ b/doc/emacs/docstyle.texi | |||
| @@ -8,9 +8,11 @@ | |||
| 8 | @end ignore | 8 | @end ignore |
| 9 | @set txicodequoteundirected | 9 | @set txicodequoteundirected |
| 10 | @set txicodequotebacktick | 10 | @set txicodequotebacktick |
| 11 | @iftex | ||
| 11 | @c It turns out TeX sometimes fails to hyphenate, so we help it here | 12 | @c It turns out TeX sometimes fails to hyphenate, so we help it here |
| 12 | @hyphenation{au-to-mat-i-cal-ly} | 13 | @hyphenation{au-to-mat-i-cal-ly} |
| 13 | @hyphenation{spec-i-fied} | 14 | @hyphenation{spec-i-fied} |
| 14 | @hyphenation{work-a-round} | 15 | @hyphenation{work-a-round} |
| 15 | @hyphenation{work-a-rounds} | 16 | @hyphenation{work-a-rounds} |
| 16 | @hyphenation{un-marked} | 17 | @hyphenation{un-marked} |
| 18 | @end iftex | ||