branch master updated: * doc/texinfo.tex, NEWS: Turn microtype off by default, for speed.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new e14f88e6f1 * doc/texinfo.tex, NEWS: Turn microtype off by default, for 
speed.
e14f88e6f1 is described below

commit e14f88e6f15630a7831331c1313ca697cce75969
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Wed Dec 28 11:18:48 2022 +0000

    * doc/texinfo.tex, NEWS: Turn microtype off by default, for speed.
---
 ChangeLog       | 4 ++++
 NEWS            | 1 +
 doc/texinfo.tex | 4 ++--
 3 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d73e8a73e0..ab27898aa3 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-12-28  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.tex, NEWS: Turn microtype off by default, for speed.
+
 2022-12-27  Patrice Dumas  <pertusus@free.fr>
 
        update po files
diff --git a/NEWS b/NEWS
index 7940a7c3da..0a061b4247 100644
--- a/NEWS
+++ b/NEWS
@@ -33,6 +33,7 @@ See the manual for detailed information.
 
 * texinfo.tex
  . page headings generation is no longer linked to the @titlepage command
+ . microtype is off by default, for speed
 
 
 7.0.1 (30 November 2022)
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 7c36584eb1..d062bcdcdf 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2022-12-28.00}
+\def\texinfoversion{2022-12-28.11}
 %
 % Copyright 1985, 1986, 1988, 1990-2022 Free Software Foundation, Inc.
 %
@@ -11524,7 +11524,7 @@ directory should work if nowhere else does.}
   \fi
 }
 
-\microtypeON
+\microtypeOFF
 
 \parseargdef\microtype{%
   \def\txiarg{#1}%