From 8fef8521b20315f211cf5bc11dc15460bed5b579 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Sat, 2 May 2015 09:58:22 +0300
Subject: [PATCH] Don't require Texinfo 5.0 for Emacs documentation

* doc/emacs/docstyle.texi: Use "@set txicodequoteundirected" and
"@set txicodequotebacktick" instead of "@codequotebacktick on" and
"@codequoteundirected on", respectively, to avoid requiring
Texinfo 5.x for Emacs documentation.
---
 doc/emacs/docstyle.texi | 6 ++++++
 1 file changed, 6 insertions(+)

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