diff options
| -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 |