From 128fa982fdfd881540833b4a5f53faa840942f6e Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sun, 3 May 2015 00:31:08 +0000 Subject: [PATCH] Don't require Texinfo 5.0 for Emacs documentation * 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. --- texi/ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/texi/ChangeLog b/texi/ChangeLog index 1e23e7a37..57f4c5a57 100644 --- a/texi/ChangeLog +++ b/texi/ChangeLog @@ -1,3 +1,10 @@ +2015-05-02 Eli Zaretskii + + * 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. + 2015-05-01 Paul Eggert * docstyle.texi: New file, which specifies treatment for grave accent -- 2.25.1