diff --git a/doc/emacs/docstyle.texi b/doc/emacs/docstyle.texi
index f13b3ca88f4..dfd14306b39 100644
--- a/doc/emacs/docstyle.texi
+++ b/doc/emacs/docstyle.texi
@@ -1,4 +1,10 @@
 @c Emacs documentation style settings
 @documentencoding UTF-8
+@c These two require Texinfo 5.0 or later, so we use the older
+@c equivalent @set variables supported in 4.11 and hence
+@ignore
 @codequotebacktick on
 @codequoteundirected on
+@end ignore
+@set txicodequoteundirected
+@set txicodequotebacktick