From 00fdce071cf2918277f99ff4ed10e5599cefb626 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Mon, 2 Jul 2018 22:37:22 -0700 Subject: [PATCH] * doc/emacs/docstyle.texi: Avoid messing up the html output. Previously the @hyphenation commands somehow caused the section to go missing, with makeinfo 4.13 at least. --- doc/emacs/docstyle.texi | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.2