projects / emacs.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8c70142)
* doc/emacs/docstyle.texi: Avoid messing up the html output.
authorGlenn Morris <rgm@gnu.org>
Tue, 3 Jul 2018 05:37:22 +0000 (22:37 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 3 Jul 2018 05:37:22 +0000 (22:37 -0700)
Previously the @hyphenation commands somehow caused the <head>
section to go missing, with makeinfo 4.13 at least.

doc/emacs/docstyle.texi patch | blob | history

diff --git a/doc/emacs/docstyle.texi b/doc/emacs/docstyle.texi
index f682e3d82beec0102ba10fe2ca670a40ec6b3ae2..5bdcd079d917e55a567a4e4259847737c6a7013e 100644 (file)
--- 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
Unnamed repository; edit this file 'description' to name the repository.