* 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.
This commit is contained in:
Glenn Morris 2018-07-02 22:37:22 -07:00
parent 8c70142ea3
commit 00fdce071c

View file

@ -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