branch master updated: * doc/texinfo.texi: Add line "@microtype on".

[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 1065ae226f * doc/texinfo.texi: Add line "@microtype on".
1065ae226f is described below

commit 1065ae226fe0108e5bb8b9f4850aa891dc1aa79c
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Mon Aug 7 12:50:32 2023 +0100

    * doc/texinfo.texi: Add line "@microtype on".
---
 ChangeLog        | 4 ++++
 doc/texinfo.texi | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 321bd834d5..295032dee7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-08-07  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * doc/texinfo.texi: Add line "@microtype on".
+
 2023-08-07  Gavin Smith <gavinsmith0123@gmail.com>
 
        * NEWS: edit, clarify, reorder.
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 1255a8b252..3e99ea05d3 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -26,6 +26,8 @@
 @set commandlookup
 @end ifhtml
 
+@microtype on
+
 @copying
 This manual is for GNU Texinfo (version @value{VERSION}, @value{UPDATED}),
 a documentation system that can produce both online information and a