]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
doc: omit confusing space before paren
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 18 Jul 2025 18:00:17 +0000 (11:00 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 18 Jul 2025 18:00:17 +0000 (11:00 -0700)
* 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

doc/autoconf.texi

index 702a4ba16ab096dcac02a963eb1dd7c7e80fcd4f..78bbec03207fa91fc0c029dd4959b5bb14225aea 100644 (file)
@@ -7,6 +7,7 @@
 @documentencoding UTF-8
 @set txicodequoteundirected
 @set txicodequotebacktick
+@set txidefnamenospace
 @setchapternewpage odd
 @finalout