From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 18 Jul 2025 18:00:17 +0000 (-0700)
Subject: doc: omit confusing space before paren
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0179d2354b2f29bd77e87efce36d9063a5f6d1c0;p=thirdparty%2Fautoconf.git

doc: omit confusing space before paren

* doc/autoconf.texi: Set txidefnamenospace to avoid confusing spaces.
Problem reported by Gavin Smith in:
https://lists.gnu.org/r/autoconf/2025-07/msg00000.html
---

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 702a4ba16..78bbec032 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -7,6 +7,7 @@
 @documentencoding UTF-8
 @set txicodequoteundirected
 @set txicodequotebacktick
+@set txidefnamenospace
 @setchapternewpage odd
 @finalout