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 | |
| 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.
| -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 @@ @end ignore @set txicodequoteundirected @set txicodequotebacktick +@iftex @c It turns out TeX sometimes fails to hyphenate, so we help it here @hyphenation{au-to-mat-i-cal-ly} @hyphenation{spec-i-fied} @hyphenation{work-a-round} @hyphenation{work-a-rounds} @hyphenation{un-marked} +@end iftex |